Projects
| Name | Contact Persons | Short Description | ||
|---|---|---|---|---|
 DCEC*: The Deontic Cognitive Event Calculus | The Deontic Cognitive Event Calculus (DCEC*) | Rikhiya Ghosh, John Licato | A quantified modal logic that builds on first order event calculus. | |
 ADR: Analogico-Deductive Reasoning | Analogico-Deductive Reasoning (ADR) | John Licato | Intersection of Analogical and Deductive Reasoning | |
 PAGI World: Simulation environment for Psychometric Artificial General Intelligence | PAGI World | John Licato | Platform to compare competing approaches to AI and AGI | |
 Slate: A diagrammatic reasoning tool for designing, specifying, and validating or invalidating proofs and arguments. | Slate | John Licato | A 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 MURI | John Licato | A Multi University Research Initiative (MURI) between RPI, Tufts, and Brown to give robots the ability to perform moral reasoning. |