CSE 472/572, Spring 2002, HW #7

Last Update: 8 April 2002

Note: or material is highlighted

Russell & Norvig, Ch. 9, p. 294, #9.1
- finding MGUs
Russell & Norvig, Ch. 9, p. 295, #9.8
- using clause form and resolution to determine the validity of an argument
Russell & Norvig, Ch. 9, p. 295, #9.9
- using both semantic and syntactic inference (resolution) to analyze the relationship between two wffs.

DUE: AT THE START OF LECTURE: WEDNESDAY, APRIL 17