17 citations · 27 across the 9 of their papers we have counts for
10 papers
AI Can Stop Mass Shootings, and More
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 bring…
On Quantified Modal Theorem Proving for Modeling Ethics
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. Logics for…
Learning
Selmer Bringsjord, Naveen Sundar Govindarajulu
This paper introduces, philosophically and to a degree formally, the novel concept of learning , intended (obviously) to be analogous to the concept of creation…
Toward the Engineering of Virtuous Machines
Naveen Sundar Govindarajulu, Selmer Bringsjord, Rikhiya Ghosh
While various traditions under the 'virtue ethics' umbrella have been studied extensively and advocated by ethicists, it has not been clear that there exists a version of virtue et…
One Formalization of Virtue Ethics via Learning
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 formalizat…
Toward Formalizing Teleportation of Pedagogical Artificial Agents
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…
Counterfactual Conditionals in Quantified Modal Logic
Naveen Sundar Govindarajulu, Selmer Bringsjord
We present a novel formalization of counterfactual conditionals in a quantified modal logic. Counterfactual conditionals play a vital role in ethical and moral reasoning. Prior wor…
Toward Cognitive and Immersive Systems: Experiments in a Cognitive Microworld
Matthew Peveler, Naveen Sundar Govindarajulu, Selmer Bringsjord +4
As computational power has continued to increase, and sensors have become more accurate, the corresponding advent of systems that are at once cognitive and immersive has arrived. T…
Strength Factors: An Uncertainty System for a Quantified Modal Logic
Naveen Sundar Govindarajulu, Selmer Bringsjord
We present a new system S for handling uncertainty in a quantified modal logic (first-order modal logic). The system is based on both probability theory and proof theory. The syste…
Proof Verification Can Be Hard!
Naveen Sundar Govindarajulu, Selmer Bringsjord
The generally accepted wisdom in computational circles is that pure proof verification is a solved problem and that the computationally hard elements and fertile areas of study lie…