Artificial Intelligence

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

Reaching Me

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

Syllabus

Instructions for executing LISP Note: Scheme is now up on ACF5.

Instructions for course email list

Problem Sets and Solutions

Problem set 1

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

Prolog interpreter in Common Lisp

Unification code in Common Lisp

Sample Prolog definitions in Common Lisp

Prolog interpreter in Scheme

Unification code in Scheme

Sample Prolog definitions in Scheme

Final exam with solutions

Handouts

Propositional Logic and Predicate Calculus

Resolution in Predicate Calculus

Davis-Putnam Procedure