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 OP 3,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 OP 3,1 (1 pt) sssess Breeze 3 Stench PIT 2 1 1 PIT 2 Figure 2 PIT START