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)
Prove that “Jerry is an actor” by resolution using proof by contradiction starting with and using...