Introduction to Artificial Inteligence - Spring 2001

Agents that reason logically - propositional and first-order logic

1. Knowlegde-based agents
   • Knowledge base and representation language
   • The three description levels: epistemological, logical, implementation
2. Example: wumpus world environment
3. Representation, reasoning, and logic
   • Representation: syntax and semantics
   • Inference
   • Logics
4. Propositional logic
   • Syntax
   • Semantics
   • Validity and inference
   • Models
   • Rules of inference
   • Complexity of propositional inference
5. Propositional logic agent for the wumpus world
   • The knowldege base
   • Finding the wumpus
   • Translating from knowledge to action
   • Deficiencies of propositional logic agent