CS472/572
INTRODUCTION TO ARTIFICIAL INTELLIGENCE
Spring, 1996
HOMEWORK 4
Due: In Lecture, Friday, March 15, 1996.
(3) Define a vocabulary (That is, give the intensional
semantics.) you could use for doing Exercise 7.2 of the text, page 213.
(10) Using the vocabulary you defined above, do Exercise 7.2 of
the text.
(4) Do Exercise 9.1 of the text, page 294. Be sure to use the
lecture version of substitutions, {term1/variable1
... termn/variablen} rather than the text version,
{variable1/term1 ... variabeln/termn}.