1. Knowledge-Based Agents

2. The Wumpus World

We will describe an enviroment in which knowledge-based agents can show theor worth.

Wumpus world illustrates some important points about intelligence

• cave consisting of rooms conned by passageways
• lurking somewhere in the cave is the terrible wumpus, a beast that eats anyone who enters its room
• The wumpus can be shot by an agent, but the agent has only one arrow
• Somee rooms contain bottomless pits that will trap anyone who wanders into these rooms (except for the wumpus, which is too big to fall in)
• possibility of finding a heap of gold

3. Logic

4.Propositional Logic: A Very Simple Logic

5. Propositional Theorem Proving

Logical equivalence

validity

satisfiability

6. Effective Propositional Model Checking

7. Agents Based on Propositional Logic