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 Computational Visual Neuroscie CSCI-4969 Information Retrieval CSCI-6965 Ai For Conservation CSCI-6966 Economics And Computation

Prereqs:

none

Past Term Data

Offered

Not Offered

Offered as Cross-Listing Only

No Term Data

Simple View Detailed View

	Spring	Summer
		(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