# Question: Write out the axioms required for reasoning about the wumpus s

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.

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

Extend the vocabulary from Section 8.4 to define addition for n-bit binary numbers. Then encode the description of the four-bit adder in Figure and pose the queries needed to verify that it is in factcorrect.For each pair of atomic sentences, give the most general unifier if it exists:a. P(A, B, B), P(x, y, z).b. Q(y, G (A, B)), Q (G(x, x), y)c. Older (Father (y), y), Older (Father(x), John).d. Knows (Father (y), y), Knows(x, x).A popular children’s riddle is ‘Brothers and sisters have I none, but that man’s father my father’s son.” Use the rules of the family domain to show who that man is. You may apply any of the inference methods ...b. Is (A) true under this interpretation?c. Is (B) true under this interpretation?d. Does (A) logically entail (B)?e. Does (B) logically entail (A)?f. Using resolution, try to prove that (A) follows from (B). Do this even if ...Write a set of sentences that allows one to calculate the price of an individual tomato (or other object), given the price per pound. Extend the theory to allow the price of a bag of tomatoes to be calculated.Post your question