The Rensselaer Artificial Intelligence and Reasoning (RAIR) Laboratory is located in rooms 1112 and 1201 of the Russell Sage Laboratory on the RPI campus.

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 whatever concretization of reasoning gets the job done.