Question: 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

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.

George M Mum Elizabeth M Philip Spencer M Kydd Margaret Diana MCharles

George M Mum Elizabeth M Philip Spencer M Kydd Margaret Diana MCharles Anne M Mark Andrew M Sarah Edward Zara Beatrice Eugenie William Harry Peter

Step by Step Solution

3.46 Rating (178 Votes )

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock

Make sure you write definitions with If you you are only imposing constraints not writing a real def... View full answer

blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Document Format (1 attachment)

Word file Icon

21-C-S-A-I (107).docx

120 KBs Word File

Students Have Also Explored These Related Artificial Intelligence Questions!