Foundations of Artificial Intelligence
CS472 – Fall 2007
Lecture and Project
CS472: Foundations of
– Instructor: Prof.
– Introduction to AI
– Agents, Search, CSP,
CS473: Practicum in
– Instructor: Prof. Hod
– Hands-on experience
with AI methods
– Meets separate from
– CS472 is co-requisite
: Philips 219
: Mon, Wed, Fri 11:15-12:05
: Thorsten Joachims, Computer Science
: 4153 Upson, We 1:30-2:30
Course web site:
Thomas Finley, Alexander Chao, Ilya Sukhar,
Griffin Dorman, Rick Keilty
Office hours posted on-line.
principles of search, uninformed search, informed (“heuristic”)
search, constraint satisfaction, local search, genetic algorithms,
inductive learning, decision tree learning, statistical approaches,
support vector machines, kernels, neural networks
Knowledge representation and reasoning
knowledge bases and inference, propositional and first-order
logic, theorem-proving, planning
Natural language understanding
syntactic processing, ambiguity resolution, text understanding
Artificial Intelligence: A Modern Approach
Russell and Norvig, Prentice-Hall, Inc., second edition.
Class Notes and Handouts:
Available from course web site / CMS
approx. 6 homework assignments
two prelims, one final exam.
programming and data structures (CS211 or CS312),
basic discrete math (CS280), basic linear algebra
Late assignments drop 5% per each late day.
Roughly: A=93-100; B=83-87; C=73-77; D=63-67; F= below 60