Mousejerry 5 cattom mousey v catx v chasex

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

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: t(x) ∨ Chase(x,y) 2. ~Chase(x,y) ∨ Hungry(x) 3. ~Cat(x) ∨ ~Mouse(y) ∨ ~Hungry(x) ∨ Eat(x,y) 4. Mouse(Jerry) 5. Cat(Tom) ~Mouse(y) V ~Cat(x) V Chase(x, y) ~Chase(x, y) V Hungry(x) ~Mouse(y) V ~Cat(x) V Hungry(x) ~Cat(x) V ~Mouse(x) V ~Hungry(x) V Eat(x, y) ~Mouse(y) V ~Cat(x) V Eat(x, y) Mouse(Jerry) {y / Jerry} ~Cat(x) V Eat(x, Jerry) Cat(Tom) {x / Tom} ~Eat(Tom, Jerry) Eat(Tom, Jerry) Goal: demonstrate that the negation: ~Eat(Tom, Jerry) is unsatis able given the knowledge base! {}...
View Full Document

This note was uploaded on 01/22/2014 for the course EECS 492 taught by Professor Staff during the Fall '08 term at University of Michigan.

Ask a homework question - tutors are online