Artificial Intelligence

G22.2560
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.

Syllabus

Instructions for course email list

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
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

Handouts

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