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