CS472/572 INTRODUCTION TO ARTIFICIAL INTELLIGENCE Spring, 1996

HOMEWORK 4
Due: In Lecture, Friday, March 15, 1996.

  1. (3) Define a vocabulary (That is, give the intensional semantics.) you could use for doing Exercise 7.2 of the text, page 213.

  2. (10) Using the vocabulary you defined above, do Exercise 7.2 of the text.

  3. (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}.


Back to CS4/572 Syllabus.
Stuart C. Shapiro <shapiro@cs.buffalo.edu>
Thu Jan 25 16:32:27 EST 1996