17 citations · 35 across the 11 of their papers we have counts for
5 papers · 1 filter
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…
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…