Search Results for author: Naveen Sundar Govindarajulu

Found 12 papers, 1 papers with code

On Automating the Doctrine of Double Effect

no code implementations27 Mar 2017 Naveen Sundar Govindarajulu, Selmer Bringsjord

We present formalizations of increasingly stronger versions of the principle, including what is known as the doctrine of triple effect.

Strength Factors: An Uncertainty System for a Quantified Modal Logic

no code implementations30 May 2017 Naveen Sundar Govindarajulu, Selmer Bringsjord

We present a new system S for handling uncertainty in a quantified modal logic (first-order modal logic).

counterfactual

Toward Cognitive and Immersive Systems: Experiments in a Cognitive Microworld

no code implementations14 Sep 2017 Matthew Peveler, Naveen Sundar Govindarajulu, Selmer Bringsjord, Biplav Srivastava, Kartik Talamadupula, Hui Su

These \textit{cognitive and immersive systems} (CAISs) fall squarely into the intersection of AI with HCI/HRI: such systems interact with and assist the human agents that enter them, in no small part because such systems are infused with AI able to understand and reason about these humans and their knowledge, beliefs, goals, communications, plans, etc.

Counterfactual Conditionals in Quantified Modal Logic

no code implementations11 Oct 2017 Naveen Sundar Govindarajulu, Selmer Bringsjord

In the first project, we demonstrate that our system can be used to model a complex moral principle, the doctrine of double effect.

counterfactual

Toward Formalizing Teleportation of Pedagogical Artificial Agents

no code implementations10 Apr 2018 John Angel, Naveen Sundar Govindarajulu, Selmer Bringsjord

Our paradigm for the use of artificial agents to teach requires among other things that they persist through time in their interaction with human students, in such a way that they "teleport" or "migrate" from an embodiment at one time t to a different embodiment at later time t'.

One Formalization of Virtue Ethics via Learning

no code implementations20 May 2018 Naveen Sundar Govindarajulu, Selmer Bringjsord, Rikhiya Ghosh

Given that there exist many different formal and precise treatments of deontologi- cal and consequentialist ethics, we turn to virtue ethics and consider what could be a formalization of virtue ethics that makes it amenable to automation.

Ethics

Tentacular Artificial Intelligence, and the Architecture Thereof, Introduced

no code implementations14 Oct 2018 Selmer Bringsjord, Naveen Sundar Govindarajulu, Atriya Sen, Matthew Peveler, Biplav Srivastava, Kartik Talamadupula

We briefly introduce herein a new form of distributed, multi-agent artificial intelligence, which we refer to as "tentacular."

Toward the Engineering of Virtuous Machines

no code implementations7 Dec 2018 Naveen Sundar Govindarajulu, Selmer Bringsjord, Rikhiya Ghosh

We begin to address this by presenting an embryonic formalization of a key part of any virtue-ethics theory: namely, the learning of virtue by a focus on exemplars of moral virtue.

Ethics Formal Logic

Learning $\textit{Ex Nihilo}$

no code implementations4 Mar 2019 Selmer Bringsjord, Naveen Sundar Govindarajulu

This paper introduces, philosophically and to a degree formally, the novel concept of learning $\textit{ex nihilo}$, intended (obviously) to be analogous to the concept of creation $\textit{ex nihilo}$.

On Quantified Modal Theorem Proving for Modeling Ethics

no code implementations30 Dec 2019 Naveen Sundar Govindarajulu, Selmer Bringsjord, Matthew Peveler

In the last decade, formal logics have been used to model a wide range of ethical theories and principles with the goal of using these models within autonomous systems.

Automated Theorem Proving Ethics

Intra-Processing Methods for Debiasing Neural Networks

3 code implementations NeurIPS 2020 Yash Savani, Colin White, Naveen Sundar Govindarajulu

Intra-processing methods are designed specifically to debias large models which have been trained on a generic dataset and fine-tuned on a more specific task.

Face Recognition Fairness

AI Can Stop Mass Shootings, and More

no code implementations5 Feb 2021 Selmer Bringsjord, Naveen Sundar Govindarajulu, Michael Giancola

We propose to build directly upon our longstanding, prior r&d in AI/machine ethics in order to attempt to make real the blue-sky idea of AI that can thwart mass shootings, by bringing to bear its ethical reasoning.

Ethics

Cannot find the paper you are looking for? You can Submit a new open access paper.