ICS 171 Homework #9

1. (30) Convert the following problem to first order predicate calculus.

2. (30) Convert the same problem to clausal form

3. (40) Prove that John is happy using resolution.

Back to http://www.ics.uci.edu/~pazzani/171-p.html (text only) or http://www.ics.uci.edu/~pazzani/171.html .

Michael Pazzani
Department of Information and Computer Science,
University of California, Irvine
Irvine, CA 92717-3425