Discrete mathematics and computer logic:

5. The Wumpus World below (right) is a 44 grid with an agent in location (1, 1). The Agent's knowledge base (KB) is shown, where Bi,j means breeze in location ( i,j), and Pi,j means pit in location (i, j). The Agent wants to know if there is a Pit in location (3,1), i.e., P3,1. Use resolution to determine whether P3,1 is entailed by the knowledge base. 5. The Wumpus World below (right) is a 44 grid with an agent in location (1, 1). The Agent's knowledge base (KB) is shown, where Bi,j means breeze in location ( i,j), and Pi,j means pit in location (i, j). The Agent wants to know if there is a Pit in location (3,1), i.e., P3,1. Use resolution to determine whether P3,1 is entailed by the knowledge base