{[ promptMessage ]}

Bookmark it

{[ promptMessage ]}

Quiz5_Solutions - Quiz#5 EECS 492 Introduction to...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
Quiz #5 EECS 492 -­‐-­‐ Introduction to Artificial Intelligence Date: October 23, 2012 Name 1: ______________________________________________ Name 2: ______________________________________________ Question: Proof by Resolution Does Tom eat Jerry (Eat (Tom, Jerry))? Prove this by resolution (show all work including substitutions). Use the following sentences already translated into CNF: 1. ~Mouse(y) ∨ ~Cat(x) ∨ Chase(x,y) 2. ~Chase(x,y) ∨ Hungry(x) 3. ~Cat(x) ∨ ~Mouse(y) ∨ ~Hungry(x) ∨ Eat(x,y)
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}