a) Consider the following knowledgebase father(motlatsi, mpho). father(motlatsi, nepo). father(mosito, motlatsi). mother(mampho, nepo). mother(mampho, mpho). father(mantsho,...

Transcribed Image Text:

a) Consider the following knowledgebase father(motlatsi, mpho). father(motlatsi, nepo). father(mosito, motlatsi). mother(mampho, nepo). mother(mampho, mpho). father(mantsho, mampho). father(mantsho, bino). male(motlatsi). male(nepo). male(mosito). male(mantsho). male(bino). female(mpho). female(mampho). VXVY( mother(X, Y) V father(X, Y) - parent(X, Y)). VXVY VZ(parent(X, Z) A parent(Z, Y) - grand_parent(X, Y)). VXVY VZ(female(X) A parent(Z, X) A parent(Z, Y) - sister(X, Y)). VX VY VZ(male(X) A sister(Z, X) A parent(Z, Y) - uncle(X, Y)). Using Backward Reasoning Strategy, find who is Nepo's sister. a) Consider the following knowledgebase father(motlatsi, mpho). father(motlatsi, nepo). father(mosito, motlatsi). mother(mampho, nepo). mother(mampho, mpho). father(mantsho, mampho). father(mantsho, bino). male(motlatsi). male(nepo). male(mosito). male(mantsho). male(bino). female(mpho). female(mampho). VXVY( mother(X, Y) V father(X, Y) - parent(X, Y)). VXVY VZ(parent(X, Z) A parent(Z, Y) - grand_parent(X, Y)). VXVY VZ(female(X) A parent(Z, X) A parent(Z, Y) - sister(X, Y)). VX VY VZ(male(X) A sister(Z, X) A parent(Z, Y) - uncle(X, Y)). Using Backward Reasoning Strategy, find who is Nepo's sister.

Answer rating: 100% (QA)

To find who is Nepos sister using backward reasoning strategy we can start with the goal of determining Nepos sister and work backward through the kno... View the full answer