COSC 4117 Assignment 3: due December 6, 2006 sample solution

Start each question on a separate page please. Some of you got a little lax with this request in assignment 2. :-\

1. page 316, #9.4 [8 marks]

2. page 316-7, #9.9. [10 marks]

3.Using the sentences you wrote in question 2, rewrite them in conjunctive normal form then write a resolution proof that Charlie is a mammal. [15 marks]

4. page 414, #11.11 Don't forget to explain why the NON-interleaved planner can't solve this problem. notice that there is no time representation in the STRIPS planner. [20 marks]

Total marks: 53