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). 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 pt) Breeze PIT PIT Breece PIT START Figure 2 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). 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 pt) Breeze PIT PIT Breece PIT START Figure 2