Date: Mon, 02 Dec 1996 16:00:03 GMT Server: NCSA/1.4.2 Content-type: text/html CSE 473 Assignment 4

CSE 473 Assignment 4

Due Monday, April 22 in class.

This assignment involves no computer programming!

Reading

In Chapter 4, review pp. 162-168 (especially 4.8.11). Read sections 4.13-4.15. In Chapter 5, read up through p. 240.

Part 1: Exercises

At the end of Chapter 4, do exercises 15, 16, 17, 19.

Note: It has been called to my attention that there is a miswording in problem 16. Please make the following change, and answer the resulting question.

Replace the phrase "However, if the symbol P were replaced by the identifier 'Raining' " by the phrase

However, if the symbols 'Weather', 'Today', and 'Raining' were replaced by the symbols 'P', 'a', and 'b', "


At the end of Chapter 5, do exercise 6, and either 8 or 9.


Part 2: Mini-project

Choose one or more of the following aspects of your education here at the University of Washington. Describe that (or those) aspect(s) in English. This should be a paragraph of several sentences, including not only simple facts, but "rules" --- generalizations that will permit inferences to be made.

Now encode the English sentences in the predicate calculus. You should end up with: (1) several simple facts of the form P(a) (but using more descriptive "non-standard" notation), (2) at least one rule using a universal quantifier, (3) at least one formula using an existentially quantified variable, and (4) at least one use of each of the logical connectives Or, And, Implies, and Not. You may need to adjust your English paragraph in order to be able to obtain all of these features in your formulas.

Identify and describe the domain you are assuming for your formulas.

State your intended meaning for each predicate symbol, function symbol, and constant that you use.

How well do you feel your logical formulas represent the information in the English paragraph? Is anything missing in the logical version? Does the logical version say anything that the English version does not?


tanimoto@cs.washington.edu