Sep 24
finish chapter 7
Discuss homework.
Work through exercise 7.1 from AIMA in class using the python logic library.
Check out this
sample wumpus assertion in lisp
and do something similar with the python engine,
such as work through exercise 7.1 from AIMA in class using the python logic library.
start chapter 8
Start looking at the material in chapter 8 : FOL
Depending on time, work through some of the chapter 8 exercises.
