Rensselaer Department of Cognitive Science Department of Computer Science
Rensselaer > Department of Cognitive Science > Research > RAIR Lab > People
Rensselaer Artificial Intelligence and Reasoning (RAIR) Laboratory
Home Projects People Lectures Symposia/Conferences Sponsors Tour

Director: Selmer Bringsjord Professor of Logic, Computer Science, and Cognitive Science
Assistant Director: Bram van Heuveln Clinical Assistant Professor of Cognitive Science, Director of the Minds and Machines program
Technical: Jay McGlothlin Web Producer, School of Humanities & Social Sciences
Associated Faculty: Kostas Arkoudas Research Assistant Professor, Cognitive Science
Eugene Eberbach Clinical Associate Professor, Computer Science
Marc Destefano Clinical Assistant Professor of Game Studies
Yingrui Yang Associate Professor, Cognitive Science
Some Alums: Paul Bello Program Officer - Cognitive Science Basic Research Office of Naval Research, Code 341 Warfighter Performance and Protection. ONR Cogsci Program
  Owen Kellett  
  Sangeet Khemlani  
  Bettina Schimanski Senior Member of Technical Staff, Sandia National Laboratories
  Dan Werner
Deepa Mukherjee Cognitive Science
Andrew Shilliday Computer Science
PhD Graduate Students: Micah Clark Cognitive Science
Jinrong Li Cognitive Science
Joshua Taylor Computer Science
MS Graduate Students: Steve Nerbetski Computer Science
Undergraduate Students: Sean Austin Cognitive Science
Sean Barnett Computer Science
Alexander Bringsjord Econ & Philosophy
Trevor Housten Computer Science
Elliot Wolk  

Info for Potential Ph.D. Students

Ph.D. students working in the RAIR Lab are either in the Cognitive Science Ph.D. program or the Computer Science Ph.D. program. Successful applicants to either program to work under Bringsjord & company in the RAIR Lab should have:
  • A thorough understanding of logic-based AI (including a high level of mathematical maturity and comfort with mathematical and philosophical logic) -- some relevant journal papers are available from Bringsjord.
  • Some familiarity with automated theorem provers, proof checkers, proof construction environments (e.g., SNARK, Otter, Athena, OSCAR, Bringsjord's own MARMML/Chogic, etc.).
  • Command over Common Lisp, and also declarative programming in general, and a willingness to hammer out clean code under deadlines.
  • An interest in the RAIR Lab's current key application areas (e.g., advanced synthetic characters, Psychometric AI/integrated cognition/cognitive robotics, robot reasoning, digital entertainment, AI in support of intelligence analysis, the construction of Bringsjord's MARMML system for machine reasoning) -- info on these is available on this site and from Bringsjord directly.
  • A passion for debate and discussion (preferably over food) regarding the philosophical and logico-mathematical foundations of AI and Cog Sci.
  • And it doesn't hurt to understand why Bringsjord rates NY's Capital District as the best place to live in the United States.
RAIR Lab News

Announcing the workshop ... "Toward a Serious Computational Science of Intelligence" to be held in conjunction with The Third Conference on Artificial General Intelligence in Lugano, Switzerland on March 8, 2010. This workshop will be devoted to discussing research and development in AI and AGI (and computational CogSci) against a set of five requirements that, sadly, are rarely satisfied. Read More

"Bringing Second Life To Life: Researchers Create Character With Reasoning Abilities of a Child" Presentation
March 10, 2008

At a recent conference on artificial intelligence, a group of researcher lead by Selmer Bringsjord unveiled the "embodiment" of their success to date: "Eddie," a 4-year-old child in Second Life who can reason about his own beliefs to draw conclusions in a manner that matches human children his age.
RPI Press Release
Science Daily
Virtual World News

"Provability-Based Semantic Interoperability via Translation Graphs" Presentation
November 6, 2007

RAIR Lab researchers headed to New Zealand in November to present Provability-Based Semantic Interoperability via Translation Graphs at the International Workshop on Ontologies and Information Systems for the Semantic Web (ONISW 2007). The ONISW2007 paper introduced the translation graph as a formal method for enabling semantic interoperability between systems on the Semantic Web.

Micah Clark presented at NA-CAP 2007
July 26, 2007

RAIR Lab researcher Micah Clark presented Toward the Lying Machine at the 2007 North American Computers and Philosophy (NA-CAP 2007) Conference. The paper lays the foundation for a future lying machine that manipulates human beliefs through psychologically persuasive sophistic lies.