Artificial Intelligence

G22.2560
Tuesday 5:00-7:00
Room 513, Warren Weaver Hall
Professor Ernest Davis

Reaching Me

Syllabus

Textbook:

Artificial Intelligence: A Modern Approach by Stuart Russell and Peter Norvig

Instructions for class email list

Link to the class email web page and follow the instructions there for subscribing.

Assignments

Problem Set 1
Solution Set 1
Programming Assignment 1
Problem Set 2
Solution Set 2
Problem Set 3
Solution Set 3
Problem Set 4
Programming Assignment 2

Handouts

Constrained And/Or Trees
Davis-Putnam Procedure
Propositional Logic
First-Order Resolution
Common Mistakes in Resolution Proofs
Horn clause logic
Minimum Description Length Learning
Blocks world axioms -- first order
Blocks world axioms -- propositional
Blocks world axioms -- second version.