Question

Prove that “Jerry is an actor” by resolution using proof by contradiction starting with and using the negated goal of 0: ¬Actor(Jerry) and then prove Actor(Jerry). The symbols X1, X2, and X3 are variables to be substituted. Carve away terms until you are left with a contradiction. Show your work. There are multiple paths/solutions that could be found.

Facts/Rules in knowledge base:

1: RockStar(X1) v ¬Millionaire(X1) v Actor(X1)

2: Millionaire(X2) v ¬Drives(X2, Ferrari)

3: Likes(X3, Snakes) v ¬RockStar(X3)

4: Drives(Jerry, Ferrari)

5: ¬Likes(Jerry, Snakes)

Answer 1

thank you:)