Introduction to Artificial Inteligence - Spring 2001
BGU Computer Science Department
Agents that reason logically - propositional and first-order logic
- Knowlegde-based agents
- Knowledge base and representation language
- The three description levels: epistemological, logical, implementation
- Example: wumpus world environment
- Representation, reasoning, and logic
- Representation: syntax and semantics
- Inference
- Logics
- Propositional logic
- Syntax
- Semantics
- Validity and inference
- Models
- Rules of inference
- Complexity of propositional inference
- Propositional logic agent for the wumpus world
- The knowldege base
- Finding the wumpus
- Translating from knowledge to action
- Deficiencies of propositional logic agent