碎 Wumpus models 3 Bodlean choices 8 possible modeb Entailment in the wumpus world 西 ... o2=122]is safe".B o A=wumpus world ruks obse B=wumpus-world rules +observ Wumpus models Wumpus models +058 Entailment in the wumpus world Situation after detecting nothing in [1,1], moving right, breeze in [2,1] Consider possible models for ?s assuming only pits A A B ? ? ? 3 Boolean choices ⇒ 8 possible models Chapter 7 25 Wumpus models 1 2 3 1 2 Breeze PIT 1 2 3 1 2 Breeze PIT 1 2 3 1 2 Breeze PIT PIT PIT 1 2 3 1 2 Breeze PIT PIT 1 2 3 1 2 Breeze PIT 1 2 3 1 2 Breeze PIT PIT 1 2 3 1 2 Breeze PIT PIT 1 2 3 1 2 Breeze Chapter 7 26 Wumpus models 1 2 3 1 2 Breeze PIT 1 2 3 1 2 Breeze PIT 1 2 3 1 2 Breeze PIT PIT PIT 1 2 3 1 2 Breeze PIT PIT 1 2 3 1 2 Breeze PIT 1 2 3 1 2 Breeze PIT PIT 1 2 3 1 2 Breeze PIT PIT 1 2 3 1 2 Breeze KB KB = wumpus-world rules + observations Chapter 7 27 Wumpus models 1 2 3 1 2 Breeze PIT 1 2 3 1 2 Breeze PIT 1 2 3 1 2 Breeze PIT PIT PIT 1 2 3 1 2 Breeze PIT PIT 1 2 3 1 2 Breeze PIT 1 2 3 1 2 Breeze PIT PIT 1 2 3 1 2 Breeze PIT PIT 1 2 3 1 2 Breeze KB 1 KB = wumpus-world rules + observations α1 = “[1,2] is safe”, KB |= α1, proved by model checking Chapter 7 28 Wumpus models 1 2 3 1 2 Breeze PIT 1 2 3 1 2 Breeze PIT 1 2 3 1 2 Breeze PIT PIT PIT 1 2 3 1 2 Breeze PIT PIT 1 2 3 1 2 Breeze PIT 1 2 3 1 2 Breeze PIT PIT 1 2 3 1 2 Breeze PIT PIT 1 2 3 1 2 Breeze KB KB = wumpus-world rules + observations Chapter 7 29 Wumpus models 1 2 3 1 2 Breeze PIT 1 2 3 1 2 Breeze PIT 1 2 3 1 2 Breeze PIT PIT PIT 1 2 3 1 2 Breeze PIT PIT 1 2 3 1 2 Breeze PIT 1 2 3 1 2 Breeze PIT PIT 1 2 3 1 2 Breeze PIT PIT 1 2 3 1 2 Breeze KB 2 KB = wumpus-world rules + observations α2 = “[2,2] is safe”, KB 6|= α2 Chapter 7 30