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.
Prerequisites: CSC 173 and 242. (Fall)
Last changed 8/31/07 by Marty Guenther (marty@cs.rochester.edu)