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.