Loading system SNePS...10% 20% 30% 40% 50% 60% 70% 80% 90% 100% SNePS-2.6 [PL:0a 2002/09/30 22:37:46] loaded. Type `(sneps)' or `(snepslog)' to get started. Welcome to SNePS-2.6 [PL:0a 2002/09/30 22:37:46] Copyright (C) 1984--2002 by Research Foundation of State University of New York. SNePS comes with ABSOLUTELY NO WARRANTY! Type `(copyright)' for detailed copyright information. Type `(demo)' for a list of example applications. 4/30/2004 18:24:07 * (demo "acap.demo") File /home/csgrad/ddligach/740/Proj/acap.demo is now the source of input. CPU time : 0.00 * ; ======================================================================= ; FILENAME: acap.demo ; DATE: 02/15/2004 ; PROGRAMMER: Dmitriy Dligach ; To use this file: run SNePS; at the SNePS prompt (*), type: ; (demo "WORD.demo" :av) ; ======================================================================= ; Turn off inference tracing. ^( --> setq snip:*infertrace* nil) nil CPU time : 0.01 * ; Load the appropriate definition algorithm: ^( --> load "/projects/rapaport/CVA/STN2/defun_noun.cl") ; Loading /projects/rapaport/CVA/STN2/defun_noun.cl t CPU time : 0.21 * ; Clear the SNePS network: (resetnet t) Net reset CPU time : 0.01 * ; load all pre-defined relations: (intext "/projects/rapaport/CVA/STN2/demos/rels") File /projects/rapaport/CVA/STN2/demos/rels is now the source of input. CPU time : 0.00 * (a1 a2 a3 a4 after agent against antonym associated before cause class direction equiv etime event from in indobj instr into lex location manner member mode object on onto part place possessor proper-name property rel skf sp-rel stime subclass superclass subset superset synonym time to whole kn_cat) CPU time : 0.02 * End of file /projects/rapaport/CVA/STN2/demos/rels CPU time : 0.03 * (define prefix proposition cause effect) cause is already defined. effect is already defined. (prefix proposition cause effect) CPU time : 0.00 * ; load all pre-defined path definitions: (intext "/projects/rapaport/CVA/mkb3.CVA/paths/paths") File /projects/rapaport/CVA/mkb3.CVA/paths/paths is now the source of input. CPU time : 0.00 * before implied by the path (compose before (kstar (compose after- ! before))) before- implied by the path (compose (kstar (compose before- ! after)) before-) CPU time : 0.00 * after implied by the path (compose after (kstar (compose before- ! after))) after- implied by the path (compose (kstar (compose after- ! before)) after-) CPU time : 0.00 * sub1 implied by the path (compose object1- superclass- ! subclass superclass- ! subclass) sub1- implied by the path (compose subclass- ! superclass subclass- ! superclass object1) CPU time : 0.00 * super1 implied by the path (compose superclass subclass- ! superclass object1- ! object2) super1- implied by the path (compose object2- ! object1 superclass- ! subclass superclass-) CPU time : 0.00 * superclass implied by the path (or superclass super1) superclass- implied by the path (or superclass- super1-) CPU time : 0.00 * End of file /projects/rapaport/CVA/mkb3.CVA/paths/paths CPU time : 0.01 * ; BACKGROUND KNOWLEDGE: ; ===================== ; if x dislikes y's smoking then x does not smoke himself (add forall ($x $y) ant (build agent *x act (build action (build lex "dislike") object (build agent *y act (build action (build lex "smoke"))))) cq (build member *x class (build lex "non-smoker"))) (m5!) CPU time : 0.00 * ; if x dislikes y's smoking then x intolerant of smoking (add forall (*x *y) ant (build agent *x act (build action (build lex "dislike") object (build agent *y act (build action (build lex "smoke"))))) cq (build member *x class (build lex "smoking-intolerant"))) (m7!) CPU time : 0.03 * ; if x dislikes y's smoking then x intolerant of smoke (add forall (*x *y) ant (build agent *x act (build action (build lex "dislike") object (build agent *y act (build action (build lex "smoke"))))) cq (build member *x class (build lex "smoke-intolerant"))) (m9!) CPU time : 0.01 * ; if x is smoke-intolerant then x is allergic to smoke (add forall (*x) ant (build member *x class (build lex "smoke-intolerant")) cq (build member *x class (build lex "allergic\ to\ smoke"))) (m11!) CPU time : 0.00 * ; if there's a sentence of the structure: prefix, propositon ; then prefix is the cause and proposition is the effect (add forall ($pref $prop) ant (build prefix *pref proposition *prop) cq (build cause *pref effect *prop)) (m12!) CPU time : 0.00 * ; CASSIE READS THE PASSAGE: ; ========================= ; ; An acapnotic, he disliked her smoking; ; #he is known as "Henri" (add object #he proper-name (build lex "Henri")) (m14!) CPU time : 0.01 * ; #she is known as "Shelly" (add object #she proper-name (build lex "Shelly")) (m16!) CPU time : 0.00 * ; he is an acapnotic (add member *he class (build lex "acapnotic")) (m18!) CPU time : 0.00 * = pre (m18) CPU time : 0.01 * ; he disliked her smoking (add agent *he act (build action (build lex "dislike") object (build agent *she act (build action (build lex "smoke"))))) (m25! m24! m23! m22! m21!) CPU time : 0.01 * = pro (m25 m24 m23 m22 m21) CPU time : 0.00 * ; causal reading of the sentence ; i.e. because henri was an acapnotic he disliked smoking ; that "he is an acapnotic" is the prefix ; that "he disliked her smoking" is the proposition (add prefix *pre proposition *pro) (m36! m35! m34! m33! m32! m31! m30! m29! m28! m27! m26!) CPU time : 0.02 * ; Ask Cassie what "WORD" means: ^( --> defineNoun "acapnotic") Definition of acapnotic: Possible Class Inclusions: non-smoker, smoking-intolerant, smoke-intolerant, allergic to smoke, Possible Actions: dislike m19, Named Individuals: Henri, nil CPU time : 0.09 * End of /home/csgrad/ddligach/740/Proj/acap.demo demonstration. CPU time : 0.47 * (demo "phc         resetnet t) Net reset CPU time : 0.04 * (demo "phcr.demo") File /home/csgrad/ddligach/740/Proj/phcr.demo is now the source of input. CPU time : 0.00 * ; ======================================================================= ; FILENAME: phcr.demo ; DATE: 03/15/2004 ; PROGRAMMER: Dmitriy Dligach ; ======================================================================= ; Turn off inference tracing. ^( --> setq snip:*infertrace* nil) nil CPU time : 0.00 * ; Load the appropriate definition algorithm: ^( --> load "/projects/rapaport/CVA/STN2/defun_noun.cl") ; Loading /projects/rapaport/CVA/STN2/defun_noun.cl t CPU time : 0.18 * ; Clear the SNePS network: (resetnet t) Net reset CPU time : 0.01 * ; load all pre-defined relations: (intext "/projects/rapaport/CVA/STN2/demos/rels") File /projects/rapaport/CVA/STN2/demos/rels is now the source of input. CPU time : 0.00 * (a1 a2 a3 a4 after agent against antonym associated before cause class direction equiv etime event from in indobj instr into lex location manner member mode object on onto part place possessor proper-name property rel skf sp-rel stime subclass superclass subset superset synonym time to whole kn_cat) CPU time : 0.02 * End of file /projects/rapaport/CVA/STN2/demos/rels CPU time : 0.02 * ; load all pre-defined path definitions: (intext "/projects/rapaport/CVA/mkb3.CVA/paths/paths") File /projects/rapaport/CVA/mkb3.CVA/paths/paths is now the source of input. CPU time : 0.01 * before implied by the path (compose before (kstar (compose after- ! before))) before- implied by the path (compose (kstar (compose before- ! after)) before-) CPU time : 0.00 * after implied by the path (compose after (kstar (compose before- ! after))) after- implied by the path (compose (kstar (compose after- ! before)) after-) CPU time : 0.00 * sub1 implied by the path (compose object1- superclass- ! subclass superclass- ! subclass) sub1- implied by the path (compose subclass- ! superclass subclass- ! superclass object1) CPU time : 0.00 * super1 implied by the path (compose superclass subclass- ! superclass object1- ! object2) super1- implied by the path (compose object2- ! object1 superclass- ! subclass superclass-) CPU time : 0.00 * superclass implied by the path (or superclass super1) superclass- implied by the path (or superclass- super1-) CPU time : 0.02 * End of file /projects/rapaport/CVA/mkb3.CVA/paths/paths CPU time : 0.03 * ; BACKGROUND KNOWLEDGE: ; ===================== ; if A1 removes his hat and A2 eyes something ; then A2 is seeing A1's scalp (add forall ($a1 $a2 $h $s) &ant ( (build agent *a1 act (build action (build lex "remove") object *h)) (build object *h rel (build lex "hat") possessor *a1) (build agent *a2 act (build action (build lex "eye") object *s)) ) cq (build min 2 max 2 arg ((build agent *a2 act (build action (build lex "see") object *s)) (build object *s rel (build lex "scalp") possessor *a1)))) (m6!) CPU time : 0.01 * ; if A2 (who prefers "ageless" men) is seeing A1's scalp ; and A2 grimaces, then A2 is looking at baldness (add forall (*a1 *a2 *s) &ant ( (build agent *a2 act (build action (build lex "see") object *s)) (build object *s rel (build lex "scalp") possessor *a1) (build agent *a2 act (build action (build lex "grimace"))) (build agent *a2 act (build action (build lex "prefer") object (build lex "ageless men"))) ) cq (build agent *a2 act (build action (build lex "eye") object (build lex "baldness")))) (m14!) CPU time : 0.01 * ; if A2 is looking at two things at the same time, ; these things are equivalent (add forall (*a2 $x $y) &ant ( (build agent *a2 act (build action (build lex "eye") object *x)) (build agent *a2 act (build action (build lex "eye") object *y)) ) cq (build member *x class *y)) (m15!) CPU time : 0.01 * ; CASSIE READS THE PASSAGE: ; ========================= ; when he removed his hat, she, who preferred "ageless" men, ; eyed his increasing phalacrosis and grimaced. ; phalacrosis ; n: the condition of having no hair (especially on the top of the head) ; [syn: baldness, hairlessness] ; #he is known as "Henri" (add object #he proper-name (build lex "Henri")) (m17!) CPU time : 0.00 * ; #she is known as "Shelly" (add object #she proper-name (build lex "Shelly")) (m19!) CPU time : 0.01 * ; object *hat is a member of class hat (add member #hat class (build lex "hat")) (m20!) CPU time : 0.00 * ; object *head is a member of class head (add object #head class (build lex "head")) (m22!) CPU time : 0.00 * ; object *phalacrosis is a member of class phalacrosis (add member #phalacrosis class (build lex "phalacrosis")) (m24!) CPU time : 0.00 * ; Henry removed his hat (add agent *he act (build action (build lex "remove") object *hat)) (m26!) CPU time : 0.00 * ; the hat belonged to Henry (add object *hat rel (build lex "hat") possessor *he) (m27!) CPU time : 0.01 * ; the hat was on his head (add object *hat location *head) (m28!) CPU time : 0.00 * ; the head belonged to Henry (add object *head rel (build lex head) possessor *he) (m29!) CPU time : 0.00 * ; she preferred "ageless" men (add agent *she act (build action (build lex "prefer") object (build lex "ageless men"))) (m30!) CPU time : 0.00 * ; she eyed his phalacrosis (add agent *she act (build action (build lex "eye") object *phalacrosis)) (m36! m35! m33! m32!) CPU time : 0.01 * ; phalacrosis is Henry's (add object *phalacrosis rel (build lex "phalacrosis") possessor *he) (m37!) CPU time : 0.00 * ; she grimaced (add agent *she act (build action (build lex "grimace"))) (m45! m44! m43! m42! m40! m39! m38!) CPU time : 0.03 * ; Ask Cassie what "WORD" means: ^( --> defineNoun "phalacrosis") Definition of phalacrosis: Possible Class Inclusions: baldness, Actions performed on a phalacrosis: b2 eye, b2 see, nil CPU time : 0.09 * End of /home/csgrad/ddligach/740/Proj/phcr.demo demonstration. script done on Fri 30 Apr 2004 06:25:41 PM EDT