Reading Assignment

• Nilsson, Chapter #13, 14, 15, 16
  These chapters contain all of the information that I presented. However, I didn't follow these chapters very closely so you may find it easier just to follow the lecture notes!

Homework Assignment

Due Date: 12/13/08


• Homework #7

Related Web Sites

Unification and Resolution in FOL: A set of powerpoint slides from CMU covering Unification and Resolution.



Unification: An overview of unification with a few examples from the Wikipedia.

Resolution: An overview of resolution with an example from the Wikipedia.