Artificial Intelligence

G22.2560
Tuesdays 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 course email list

Final exam

Problem Sets and Solutions

Problem set 1

Solution set 1

Problem set 2

Problem set 3

Problem set 4

Problem set 5

Problem set 6

Handouts

Notes on Propositional Calculus

Notes on Resolution

Prolog Interpreter Common Lisp or Scheme in T or Common Lisp (Simplified) or Scheme in T(Simplified)) or True Scheme (Simplified))

Unification Code Common Lisp or Scheme or True Scheme (Simplified))

Sample Prolog Code Common Lisp or Scheme