17 citations · 18 across the 4 of their papers we have counts for
4 papers
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…
Reagent: Converting Ordinary Webpages into Interactive Software Agents
Mathew Peveler, Jeffery Kephart, Hui Su
We introduce Reagent, a technology that readily converts ordinary webpages containing structured data into software agents with which one can interact naturally, via a combination…
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 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…