Dec 05, 2024  
Rensselaer Catalog 2009-2010 
    
Rensselaer Catalog 2009-2010 [Archived Catalog]

Add to Portfolio (opens a new window)

COGS 6240 - Logic and Artificial Intelligence


This course is about the connection between logic and artificial intelligence (AI). It may be partitioned into three general sections: 1) the straightforward application of firstorder logic (FOL) in AI; 2) the broadening of FOL to enable a robot to reason in a commonsense way (nonmonotonic reasoning, induction, etc.) and to formalize a robot agent’s belief and knowledge system (modal logics, etc.); and 3) using a logical approach to the Frame Problem and to building a planner.

When Offered: Spring term annually.



Credit Hours: 4



Add to Portfolio (opens a new window)