10 Mar 2005
CS 3243 - FOL and Prolog
2
Outline
nWhy FOL?
nSyntax and semantics of FOL
nUsing FOL
nWumpus world in FOL
nKnowledge engineering in FOL