research
∙
02/05/2021
AI Can Stop Mass Shootings, and More
We propose to build directly upon our longstanding, prior r d in AI/ma...
share
research
∙
06/15/2020
Post-Hoc Methods for Debiasing Neural Networks
As deep learning models become tasked with more and more decisions that ...
research
∙
12/30/2019
On Quantified Modal Theorem Proving for Modeling Ethics
In the last decade, formal logics have been used to model a wide range o...
research
∙
03/04/2019
Learning Ex Nihilo
This paper introduces, philosophically and to a degree formally, the nov...
research
∙
12/07/2018
Toward the Engineering of Virtuous Machines
While various traditions under the 'virtue ethics' umbrella have been st...
research
∙
10/14/2018
Tentacular Artificial Intelligence, and the Architecture Thereof, Introduced
We briefly introduce herein a new form of distributed, multi-agent artif...
research
∙
05/20/2018
One Formalization of Virtue Ethics via Learning
Given that there exist many different formal and precise treatments of d...
research
∙
04/10/2018
Toward Formalizing Teleportation of Pedagogical Artificial Agents
Our paradigm for the use of artificial agents to teach requires among ot...
research
∙
10/11/2017
Counterfactual Conditionals in Quantified Modal Logic
We present a novel formalization of counterfactual conditionals in a qua...
research
∙
05/30/2017