Logical Foundations of Artificial Intelligence

Dept.: 
CSC
Course Number: 
244/444
Credit Hours: 
04.0

An introduction to the logical foundations of AI including first-order logic, knowledge representation, deductive, nondeductive and probabilistic reasoning, and planning by intelligent agents.
Students taking this course at the 400 level will be required to complete additional readings and/or assignments, including a significant project or essay.

Details
Prerequisites: 
CSC 173 and 242. (Fall)