Outline ·Vhy FOL? Syntax and semantics of FOL ·Using FOL ·Vumpus world in FOL Knowledge engineering in FOL Outline • Why FOL? • Syntax and semantics of FOL • Using FOL • Wumpus world in FOL • Knowledge engineering in FOL