Artificial Intelligence

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

Reaching Me



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.


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


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.