CSE 150 Homework #4

Date assigned: May 3, 2007

Date due: Beginning of May 8, 2007 or beginning of section May 9, 2007

You can work alone or in groups of at most 3. Homeworks are due at the beginning of class, printed and stapled and should be presented in the order in which they were assigned. 10 points will be based on style; your homework should be free of spelling and grammatical errors and should present information in a way that makes it easy to read. If drawing is required, the drawing may be done by hand or using a computer. Points will be deducted for not following these instructions. No late submissions will be accepted.

1. R&N 7.8
2. R&N 8.11
3. R&N 9.4 (If it doesn’t exist, explain why.)
4. R&N 9.9
5. “Heads I win. Tails you lose.” Prove that I win using resolution. (From Genesereth & Nilsson)
6. “If a course is easy, some students are happy. If a course has a midterm, no students are happy.” Use resolution to show that if a course has a midterm, the course is not easy. (Adapted from Genesereth & Nilsson).