17 citations · 35 across the 11 of their papers we have counts for
4 papers · 2 filters
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…