Projects

 NameContact PersonsShort Description 
DCEC*: The Deontic Cognitive Event Calculus

DCEC*: The Deontic Cognitive Event Calculus

The Deontic Cognitive Event Calculus (DCEC*)Rikhiya Ghosh, John LicatoA quantified modal logic that builds on first order event calculus.

ADR: Analogico-Deductive Reasoning

Analogico-Deductive Reasoning (ADR)John LicatoIntersection of Analogical and Deductive Reasoning

PAGI World: Simulation environment for Psychometric Artificial General Intelligence

PAGI WorldJohn LicatoPlatform to compare competing approaches to AI and AGI

Slate: A diagrammatic reasoning tool for designing, specifying, and validating or invalidating proofs and arguments.

SlateJohn LicatoA diagrammatic reasoning tool for designing, specifying, and validating or invalidating proofs and arguments.
A Multi University Research Initiative (MURI) between RPI, Tufts, and Brown to give robots the ability to perform moral reasoning.Moral Reasoning MURIJohn LicatoA Multi University Research Initiative (MURI) between RPI, Tufts, and Brown to give robots the ability to perform moral reasoning.