The RAIR lab acquires several new robotics platforms for researching applications of reasoning in real-time!

DCEC: Deontic Cognitive Event Calculus

The RAIR Lab's project to develop the formal specification and automatic software tools for a highly expressive doxastic logic

PAGI World

Psychometric Artificial General Intelligence World---a simulation environment for AI agents with realistic 2D physics---is now in Alpha!

Rensselaer Artificial Intelligence and Reasoning Laboratory

Rensselaer Artificial Intelligence and Reasoning Laboratory

The Rensselaer Artificial Intelligence and Reasoning (RAIR) Laboratory is located in the 3rd and 4th floor of the historic Winslow building. To reach the Winslow Building by GPS, search for 'Winslow Building Troy NY'.

Research and development in the RAIR Lab ranges across a number of applied projects, as well as across many of the fundamental questions AI raises (e.g., Are we machines ourselves? If so, what sort of machines?). Everything is to a high degree unified by the fact that the formalisms, tools, techniques, systems, etc. that underlie the lab's R&D are invariably based on reasoning.

Because of this, logic plays for us a central role (since, after all, logic is the science of reasoning), but reasoning can be implemented in many ways, and so to reach our goals we happily turn to, from among the RAIR Lab's many options, the computational reasoner that helps get the job.