17 citations · 19 across the 5 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…