Projects

	Name	Contact Persons	Short Description
	Great Computational Intelligence	Michael Giancola	The Great Computational Intelligence (GCI) project aims to develop powerful computational systems and demonstrate their capability to solve complex problems in a wide variety of domains.
	Surmounting Arrow's Impossibility Theorem	Michael Giancola	The chief goal of this project is to invent and specify formal theory that enables engineering of an AI system that, in collaboration with humans, enables Arrow's Impossibility Theorem to be surmounted.
	Tentacular Artificial Intelligence	Selmer Bringsjord	Tentacular AI (TAI) enables artificial agents to problem-solve in ways that exploit the true potential of the Internet (I), the Internet of Things (IoT), edge computing, and cyberspace.
DCEC*: The Deontic Cognitive Event Calculus	The Deontic Cognitive Event Calculus (DCEC*)	Rikhiya Ghosh	A quantified modal logic that builds on first order event calculus.
	Moral Reasoning MURI	John Licato	A Multi University Research Initiative (MURI) between RPI, Tufts, and Brown to give robots the ability to perform moral reasoning.