17 citations · 35 across the 11 of their papers we have counts for
9 papers · 1 filter
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…
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…
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…
On Automating the Doctrine of Double Effect
Naveen Sundar Govindarajulu, Selmer Bringsjord
The doctrine of double effect () is a long-studied ethical principle that governs when actions that have both positive and negative effects are to be allowed. The go…