activity
20172024
most citedOn Quantified Modal Theorem Proving for Modeling Ethics

17 citations · 19 across the 6 of their papers we have counts for

collaborators

8 papers

cs.CY2021

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…

cs.AI201917 cited

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…

cs.AI20191 cited

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…

cs.AI2018

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…

cs.AI2018

Tentacular Artificial Intelligence, and the Architecture Thereof, Introduced

Selmer Bringsjord, Naveen Sundar Govindarajulu, Atriya Sen +3

We briefly introduce herein a new form of distributed, multi-agent artificial intelligence, which we refer to as "tentacular." Tentacular AI is distinguished by six attributes, whi…

cs.AI2018

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…