# Logic and Artificial Intelligence

## COGS-6240

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 first order 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.

4 credits
Cross-listed with:
COGS-6967 Topics in COGS CSCI-4969 Topics in CSCI CSCI-6965 Topics in CSCI CSCI-6966 Topics in CSCI
Prereqs:
none

# Past Term Data
Offered
Not Offered
Offered as Cross-Listing Only
No Term Data
Simple View
Detailed View

| Spring | Summer | Fall
--- | --- | --- | ---
| (Session 1) | (Session 2) |
2024 |  |  |
2023 |  |  |
2022 |  |  |
2021 |  |  |
2020 |  |  |
2019 |  |  |
2018 |  |  |
2017 |  |  |
2016 |  |  |
2015 |  |  |
2014 |  |  |
2013 |  |  |
2012 |  |  |
2011 |  |  |
2010 |  |  |  |
2009 |  |  |
2008 |  |  |
2007 | Logic And Artific Intelligence (4c) Selmer Bringsjord Seats Taken: 0/20 |  |
2006 | Logic And Artific Intelligence (4c) Selmer Bringsjord Seats Taken: 1/20 |  |
2005 |  |  |
2004 |  |  |
2003 |  |  |
2002 |  |  |
2001 |  |  |
2000 |  |  |
1999 |  |  |
1998 |  |  |