Question

For all parts of this problem, use the following set of facts.

a. Olympic_Athlete(Bill)

b. Olympic_Athlete(Tom)

c. Olympic_Athlete(Jack)

d. Olympic_Athlete(John)

e. Teammates(Bill,Tom)

f. Teammates(Jack,Tom)

g. Won_Gold(Jack)

h. Vx,y: Teammates(x,y) -> Teammates(y,x)

i. Vx,y,z: Teammates(x,y) ^ Teammates(y,z) -> Teammates(x,z)

j. Vx: Olympic_Athlete(x) -> ~Teammates(x,Jack) v cheer_for(x,Jack)

k. Vx,y: Teammates(x,y) ^ Won_Gold(x) -> Won_Gold(y)

Convert the facts into clause form, then Use resolution to show that “Bill cheered for Jack”

Answer 1

Here i am proviiding the answer. Hope it helps. please give me a like. it helps me a lot.

If you have any doubts, please ask in comments, I will try to solve it as soon as possible. If you find my answer helpful, do UPVOTE.Thanks

a. Bill is an Olympic Athelete

b. Tom is an Olympic Athelete

c. Jack is an Olympic Athelete

d. John is an Olympic Athelete

e. Bill and Tom are teammates

f. Jack and Tom are teammates

g. Jack won the gold

h. For all x, y if x and y are teammates then y and x are also teammates.

i. For all x,y,z if x and y are teammates and y and z teammates then x and z are also teammates

j. For all x, if x is an Olympic Athlete then x is not a teammate of Jack and x cheers for Jack.

k. For all x, y if x and y are teammates and x won the gold then y also won the gold.

Thank you. please upvote.