1. CSE 4705 Artificial Intelligence
Jinbo Bi
Department of Computer Science & Engineering

2. Logic Agents - the forth component AIMA – Chapter 7

3. Knowledge-based agents Wumpus world An introduction to logic
Outline
Knowledge-based agents
Wumpus world
An introduction to logic
Inference, validity, equivalence and satifiability
Propositional logic

4. Knowledge-based agents

5. Logical agents

6. The knowledge base

7. Generic KB-based agent pseudocode

8. Running example: the Wumpus world
A hunt the Wumpus flash version:

9. PEAS description

10. Our PEAS description

11. Wumpus world characteristics

12. Exploring the Wumpus world

13. Exploring the Wumpus world

14. Logic

15. What is a logic

16. Propositional logic
Propositional logic is the simplest logic – illustrates basic ideas
Inference in propositional logic is also tractable with reasonable constraints – there fore very useful

17. Propositional logic: syntax

18. Propositional logic: semantics

19. Wumpus world sentences

20. Models

21. A key semantic relation: entailment

22. Models II

23. Entailment in the Wumpus world

24. Wumpus models I

25. Wumpus models II

26. Deciding what to do by model checking

27. Deciding what to do by model checking

28. Truth tables for connectives

29. Inference procedures

30. Inference by enumeration

31. Logical equivalence

32. Validity and satisfiability

33. Questions?