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 removed, and write the definition in first-order logic. Now write down the basic facts depicted in the family tree in Figure 8.5. Using a suitable logical reasoning system TELL it all the sentences you have written down, and ASK it who are Elizabeth’s grandchildren, Diana’s brothers-in-law, and Zara’s great-grandparents.
Answer to relevant QuestionsWrite down a sentence asserting that + is a commutative function. Does your sentence follow from the Peano axioms? If so explain why: if not, give a model in which the axioms are true and your sentence is false.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.Suppose we put into a logical database a segment of the U.S. census data listing the age, city of residence, date of birth, and mother of every person, using social security numbers as identifying constants for each person. ...In this exercise, we will look at sorting in Prolog.a. Write Prolog clauses that define the predicate sorted (L), which is true if and only if list L is sorted in ascending order.b. Write a Prolog definition for the ...Within situation calculus, write an axiom to associate time 0 with the situation S0 and another axiom to associate the time t with any situation that is derived from S0 by a sequence of t actions.
Post your question