Outline
n
Why FOL?
n
Syntax and semantics of FOL
n
Using FOL
n
Wumpus world in FOL
n
Knowledge engineering in FOL
