Question 4 [1.5 pts]: Figure 2 shows the Wumpus world game, where the agent starts from location [4,1], and does not sense breeze or stench. • Please use propositional logics to write sentences to describe the observations and rules & backgrounds (after agent enters location [4,1], and only consider Pit). (0.5 pt) Given above settings, please use model checking to validate that location [3,1] is safe (or KB-P3,1). Please list all models as a table (only consider Pit), and mark model(s) of KB and model(s) of a. Explain why KB P3,1 (1 pt) 555555 Stench > 4 Breeze PIT Breeze- Breeze 3 555555 Stench PIT 225 Gold 55555 SStench S Breeze 2 1 Breeze 肺 PIT Breeze 70 START 2 3 4 Figure 2