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
Prereqs:
none

Past Term Data

Offered
Not Offered
Offered as Cross-Listing Only
No Term Data
Spring Summer Fall
(Session 1) (Session 2)
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