CSE 472/572, Spring 2002, HW #6

CSE 472/572, Spring 2002

"VIRTUAL" HW #6: FIRST-ORDER LOGIC

Last Update: 7 March 2002

Note: or material is highlighted

Since there will not be enough time for you to do this homework and for us to grade it and get it back to you in time for it to be useful to help you in studying for the midterm exam, this will be a "virtual" homework.

The answers will be made available on the "virtual" due date.

Russell & Norvig, Ch. 7, pp. 213-214, #7.2
- translations from English to FOL
Russell & Norvig, Ch. 7, p. 214, #7.3
- translations of "if-then" from English to FOL
Russell & Norvig, Ch. 7, p. 214, #7.4
- FOL semantics
Russell & Norvig, Ch. 7, p. 214, #7.5
- translation from English to FOL

NOT TO BE HANDED IN; FOR SELF-STUDY PURPOSES ONLY

"VIRTUAL" DUE DATE: WED, MAR 13