# Question: Rewrite the propositional wumpus world facts from Section 7 5 in

Rewrite the propositional wumpus world facts from Section 7.5 into first-order logic. How much more compact is this version?

**View Solution:**## Answer to relevant Questions

Write axioms describing the predicates Grand Child, Great Grandparent, Brother, Sister, Daughter, Son, Aunt, Uncle, Brother In Law, Sister In Law, and First cousin. Find out the proper definition of mth cousin n times ...Write out the axioms required for reasoning about the wumpus’s location, using a constant symbol Wumpus and a binary predicate In (Wumpus, Location). Remember that there is only one wumpus.Consider the subscription lattices shown in Figure.a. Construct the lattice for the sentence Employs (Mother (John), Father (Richard)).b. Construct the lattice for the sentence Employs (IBM. y) (“Everyone works for ...The following Prolog code defines a predicate P: P(X, [X | Y]). P (X, [Y| Z]):- P (X, Z).a. Show proof trees and solutions for the queries P (A, [1, 2, 3]) and P (2, [1, A, 3])b. What standard list operation does P represent?Write sentences to define the effects of the Shoot action in the wumpus world. Describe its effects on the wumpus and remember that shooting uses the agent’s arrowPost your question