CSE 472/572, Spring 2002 ------------------------------------------------------------------------- HW #9 Answers & Grading ========================================================================= For each problem: translation into SNePS: 0123 syntax & semantics: 0123 (with some possible exceptions as noted below) Total = 24 points. ========================================================================= Instead of drawing nets, I will use SNePSUL to indicate the answers. ------------------------------------------------------------------------- a) (assert member #B1 class ice_cream_cone) (assert agent Mary act gave recipient Michael object *B1) or (for the last one): (assert agent Mary act gave recipient Michael object (find (member- class) ice-cream-cone)) syntax semantics ------ --------- (assert member x class y) x is a member of class y (assert agent x act y recipient z object w) x does y to z with respect to w ------------------------------------------------------------------------- b) (assert forall $x ant (build member *x class basketball_player) cq (build object *x property tall)) or: (assert exists $x min 2 max 2 arg (build member *x class basketball_player) arg (build object *x property tall)) or: (assert forall $x ant (build member *x class basketball_player) cq (build presumably (build object *x property tall))) syntax semantics ------ --------- (build presumably NODE) it is presumably the case that NODE (where NODE represents a proposition node) NOTE ON GRADING: if no semantics is needed, then grade the net 0246 ------------------------------------------------------------------------- c) (assert member #B1 class tree) (assert member #B2 class axe) (assert agent Robert act cut_down object *B1 instrument *B2) or with suitable "find"s, as in (a). syntax semantics ------ --------- (assert agent x act y object z instrument w) x did y to z using w ------------------------------------------------------------------------- d) (assert member #B1 class bowl) (assert forall $x ant (build member *x class ingredients) cq (build object *x location *B1) cq (build object ingredients property (build quality mixed degree thoroughly))) syntax semantics ------ --------- (assert object x location y) x is located at/in/on y NOTE: this is a proposition (build quality x degree y) the quality x to degree y NOTE: this is a structured individual, not a proposition ========================================================================= Total = 24 points Letter CS 472 both CS 572 ------------------------------ A 24 A- 22-23 B+ 21 B 20 B- 18-19 C+ 17 C 14-16 9-16 C- 12-13 D+ 9-11 D 5-8 F 0-4