Search Results for author: Matthew Peveler

Found 3 papers, 0 papers with code

On Quantified Modal Theorem Proving for Modeling Ethics

no code implementations30 Dec 2019 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.

Automated Theorem Proving

Tentacular Artificial Intelligence, and the Architecture Thereof, Introduced

no code implementations14 Oct 2018 Selmer Bringsjord, Naveen Sundar Govindarajulu, Atriya Sen, Matthew Peveler, Biplav Srivastava, Kartik Talamadupula

We briefly introduce herein a new form of distributed, multi-agent artificial intelligence, which we refer to as "tentacular."

Toward Cognitive and Immersive Systems: Experiments in a Cognitive Microworld

no code implementations14 Sep 2017 Matthew Peveler, Naveen Sundar Govindarajulu, Selmer Bringsjord, Biplav Srivastava, Kartik Talamadupula, Hui Su

These \textit{cognitive and immersive systems} (CAISs) fall squarely into the intersection of AI with HCI/HRI: such systems interact with and assist the human agents that enter them, in no small part because such systems are infused with AI able to understand and reason about these humans and their knowledge, beliefs, goals, communications, plans, etc.

Cannot find the paper you are looking for? You can Submit a new open access paper.