3 Mar 2004
CS 3243 - Chapter 8
2
Outline
nWhy FOL?
nSyntax and semantics of FOL
nUsing FOL
nWumpus world in FOL
nKnowledge engineering in FOL