17 citations · 17 across the 1 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2019★ 17 cited
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…
cs.AI2018
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…