CIS 471/571, Winter 2006
Due Tuesday, Feb. 14 at 5:00 pm (PST)
1. Problem 7.9 in the text. (Page 238) Explain thoroughly how to prove each of the three questions.
2. Assume you have a manufacturing process for the creation of cellular phones. There are five different parts that are combined together to make the final phone. There are many different versions of these parts, however, and not all parts are compatible with each other. A knowledge base is created that lists all the rules for the allowable combinations of parts, and it is written entirely in Horn form. Which technique would be the best (resolution, backward chaining, or forward chaining) for asking the knowledge base if a particular combination of five parts is allowed? Justify your answer.
3. Problem 8.6 in the text. (Page 268)
4. Suppose there is a University Policy at the University of Oregon that anyone who is teaching a Computer Science course must get good reviews to receive a pay raise. Professor Dou teaches the Artificial Intelligence course. The students of the Artificial Intelligence course gave good reviews of the teacher of the Artificial Intelligence course, which is a Computer Science class. Does Professor Dou get a pay raise? Use first order logic sentences (including any "common sense" sentences) and forward chaining to prove the answer. Then use resolution to prove the same.
To turn in by paper version: Give your solutions to Cheri at the front desk before the due time. Keep in mind that the office is locked AT 5:00 P.M., so prepare to turn in the homework before then.
To turn in by email: If you are in CIS 471, email your answers to jgalbrai@cs.uoregon.edu. If you are in CIS 571, send them to dou@cs.uoregon.edu. We prefer that you send plain text, though a pdf file is better. If you are using Word, you should be able to convert your word file to a pdf file.