Artificial Intelligence

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

Reaching Me

Textbook: Artificial Intelligence: A Modern Approach by Stuart Russell and Peter Norvig, Prentice Hall.


Instructions for course email list


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

Final Exam

Final exam
Solutions to final exam


Propositional Logic
First-Order Resolution

Prolog Interpreter In LISP for Programming Assignment 2

Prolog Interpreter in Common Lisp
Unification in Common Lisp
Sample Prolog Code in Common Lisp

Prolog Interpreter in Scheme
Alternate Prolog Interpreter in Scheme
Unification in Scheme
Alternate Unification in Scheme
Sample Prolog Code in Scheme