Your Federal Quarterly Tax Payments are due April 15th Get Help Now >>

CS 23650 - Introduction to Artificial Intelligence Exercise by xdu18397

VIEWS: 0 PAGES: 1

									CS 23650 – Introduction to Artificial Intelligence
Exercise: Resolution proofs

Not to be turned in.

1. The Miserable Tadpole

       Every shark eats a tadpole.
       All large white fish are sharks.
       Colin is a large white fish living in deep water.
       Any tadpole eaten by a deep water fish is miserable.
       Show that some tadpoles are miserable.

2. Convert to Conjunctive Normal Form (CNF)

       ⌐ ∃x ∀y ∀z ((P(y) v Q(z)) → (P(x) v Q(x)))

								
To top