=~=~=~=~=~=~=~=~=~=~=~= PuTTY log 2007.05.09 23:23:00 =~=~=~=~=~=~=~=~=~=~=~= acl International Allegro CL Enterprise Edition 8.0 [Solaris] (Apr 10, 2007 13:09) Copyright (C) 1985-2005, Franz Inc., Oakland, CA, USA. All Rights Reserved. This development copy of Allegro CL is licensed to: [4549] University at Buffalo ;; Optimization settings: safety 1, space 1, speed 1, debug 2. ;; For a complete description of all compiler switches given the ;; current optimization settings evaluate (explain-compiler-settings). ;;--- ;; Current reader case mode: :case-sensitive-lower cl-user(1): :ld /projects/snwiz/bin/sneps ; Loading /projects/snwiz/bin/sneps.lisp Loading system SNePS...10% 20% 30% 40% 50% 60% 70% 80% 90% 100% SNePS-2.6 [PL:2 2007/03/19 18:32:05] loaded. Type `(sneps)' or `(snepslog)' to get started. cl-user(2): (sneps) Welcome to SNePS-2.6 [PL:2 2007/03/19 18:32:05] Copyright (C) 1984--2004 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. 5/9/2007 23:23:28 * (demo "bartizan2.demo" :av) ; Fast loading from bundle code/streama.fasl. File /home/ssdue/jrhowell/CSE727/bartizan2.demo is now the source of input. The demo will pause between commands, at that time press RETURN to continue, or ? to see a list of available commands CPU time : 0.02 * ; ======================================================================= ; FILENAME: bartizan.demo ; DATE: April 9, 2007 ; PROGRAMMER: Jeff Howell ;; this template version: snepsul-template.demo-20061005.txt ; Lines beginning with a semi-colon are comments. ; Lines beginning with "^" are Lisp commands. ; All other lines are SNePSUL commands. ; ; To use this file: run SNePS; at the SNePS prompt (*), type: ; ; (demo "bartizan.demo" :av) ; ; Make sure all necessary files are in the current working directory ; or else use full path names. ; ======================================================================= ; Turn off inference tracing. ; This is optional; if tracing is desired, then delete this. ^( --- pause --- --> setq snip:*infertrace* nil) --- pause --- nil CPU time : 0.01 * ; Load the appropriate definition algorithm: ;; UNCOMMENT THE ONE YOU *DO* WANT ;; AND DELETE THE OTHER!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! ^( --- pause --- --> load "defun_noun.cl") --- pause --- ; Loading /home/ssdue/jrhowell/CSE727/defun_noun.cl t CPU time : 0.26 * ; ^(load "/projects/rapaport/CVA/STN2/defun_verb.cl") ; Clear the SNePS network: (resetnet) --- pause --- Net reset - Relations and paths are still defined CPU time : 0.00 * ; OPTIONAL: ; UNCOMMENT THE FOLLOWING CODE TO TURN FULL FORWARD INFERENCING ON: ; ; ;enter the "snip" package: ^( --- pause --- --> in-package snip) --- pause --- # CPU time : 0.00 * ; ; ;turn on full forward inferencing: ^( --- pause --- --> defun broadcast-one-report (represent) (let (anysent) (do.chset (ch *OUTGOING-CHANNELS* anysent) (when (isopen.ch ch) (setq anysent (or (try-to-send-report represent ch) anysent))))) nil) --- pause --- broadcast-one-report CPU time : 0.00 * ; ; ;re-enter the "sneps" package: ^( --- pause --- --> in-package sneps) --- pause --- # CPU time : 0.00 * ; load all pre-defined relations: (intext "/projects/rapaport/CVA/STN2/demos/rels") --- pause --- Loading file /projects/rapaport/CVA/STN2/demos/rels. ; Fast loading /util/acl80/code/streamc.001 ;;; Installing foreign patch, version 1 ; Fast loading from bundle code/efft-euc-base.fasl. ; Fast loading from bundle code/efft-utf8-base.fasl. ; Fast loading from bundle code/efft-void.fasl. ; Fast loading from bundle code/efft-latin1-base.fasl. CPU time : 0.49 * ; load all pre-defined path definitions: (intext "/projects/rapaport/CVA/mkb3.CVA/paths/paths") --- pause --- Loading file /projects/rapaport/CVA/mkb3.CVA/paths/paths. before implied by the path (compose before (kstar (compose after- ! before))) before- implied by the path (compose (kstar (compose before- ! after)) before-) after implied by the path (compose after (kstar (compose before- ! after))) after- implied by the path (compose (kstar (compose after- ! before)) after-) sub1 implied by the path (compose object1- superclass- ! subclass superclass- ! subclass) sub1- implied by the path (compose subclass- ! superclass subclass- ! superclass object1) super1 implied by the path (compose superclass subclass- ! superclass object1- ! object2) super1- implied by the path (compose object2- ! object1 superclass- ! subclass superclass-) superclass implied by the path (or superclass super1) superclass- implied by the path (or superclass- super1-) CPU time : 0.01 * ; BACKGROUND KNOWLEDGE: ; ===================== ; If archer-slits are part of something, that class of thing has the property of being ; used for defense. (assert forall ($archerslits $fordefense $fdclass) &ant ((build member *archerslits class (build lex "archer-slits")) (build part *archerslits whole *fordefense) (build member *fordefense class *fdclass)) cq (build subclass *fdclass superclass (build lex "used for defense"))) --- pause --- (m3!) CPU time : 0.01 * ; If murder-holes are part of something, that thing is a guard tower. (assert forall ($murderhole $guardtower) &ant ((build member *murderhole class (build lex "murder-holes")) (build part *murderhole whole *guardtower)) cq (build member *guardtower class (build lex "guard tower"))) --- pause --- (m6!) CPU time : 0.00 * ; If something contains murder-holes, that thing is above an entryway. (assert forall ($murderholes $aboveentry) &ant ((build member *murderholes class (build lex "murder-holes")) (build part *murderholes whole *aboveentry)) cq (build member #entryway class (build lex "entryway")) cq (build object1 *aboveentry rel (build lex "above") object2 *entryway)) --- pause --- (m10!) CPU time : 0.00 * ; If murder-holes are part of something, that class of thing has the property of being ; used for defense. ;(assert forall ($murderholes $fordefense $fdclass) ; &ant ((build member *murderholes class (build lex "murder-holes")) ; (build part *murderholes whole *fordefense) ; (build member *fordefense class *fdclass)) ; cq (build subclass *fdclass superclass (build lex "used for defense"))) ; If object A overshadows object B, the class of object A is a subclass of ; high things. (assert forall ($overshadowed $higher $hclass) &ant ((build member *higher class *hclass) (build object1 *higher rel (build lex "overshadows") object2 *overshadowed)) cq (build subclass *hclass superclass (build lex "high"))) --- pause --- (m13!) CPU time : 0.00 * ; CASSIE READS THE PASSAGE: ; ========================= ; Something is a bartizan. (add member #bartizan class (build lex "bartizan")) --- pause --- (m15!) CPU time : 0.02 * ^( --- pause --- --> defineNoun "bartizan") --- pause --- Definition of bartizan: nil CPU time : 0.04 * ; The bartizan is angular. (add object *bartizan property (build lex "angular")) --- pause --- (m18!) CPU time : 0.00 * ^( --- pause --- --> defineNoun "bartizan") --- pause --- Definition of bartizan: Possible Properties: angular, nil CPU time : 0.08 * ; Something is a home. (add member #home class (build lex "home") = home-concept) --- pause --- (m20!) CPU time : 0.01 * ; The bartizan is part of the home. (add part *bartizan whole *home) --- pause --- (m21!) CPU time : 0.01 * ^( --- pause --- --> defineNoun "bartizan") --- pause --- Definition of bartizan: Possible SuperStructure: home, Possible Properties: angular, nil CPU time : 0.08 * ; Something(s) is/are small windows. (add member #small-windows class (build lex "small windows")) --- pause --- (m23!) CPU time : 0.02 * ; The small windows are part of the bartizan. (add part *small-windows whole *bartizan) --- pause --- (m24!) CPU time : 0.00 * ^( --- pause --- --> defineNoun "bartizan") --- pause --- Definition of bartizan: Possible Structure: small windows, Possible SuperStructure: home, Possible Properties: angular, nil CPU time : 0.08 * ; Something(s) is/are murder-holes. (add member #murder-holes class (build lex "murder-holes")) --- pause --- (m25!) CPU time : 0.03 * ; The murder-holes are part of the bartizan. (add part *murder-holes whole *bartizan) --- pause --- (m28! m27! m26! m8!) CPU time : 0.06 * ^( --- pause --- --> defineNoun "bartizan") --- pause --- Definition of bartizan: Possible Class Inclusions: guard tower, Possible Structure: small windows, murder-holes, Possible SuperStructure: home, Possible Properties: angular, above entryway, nil CPU time : 0.06 * ; Something(s) is/are archer-slits. (add member #archer-slits class (build lex "archer-slits")) --- pause --- (m32!) CPU time : 0.04 * ; The archer-slits are part of the bartizan. (add part *archer-slits whole *bartizan) --- pause --- (m35! m34! m33!) CPU time : 0.02 * ^( --- pause --- --> defineNoun "bartizan") --- pause --- Definition of bartizan: Class Inclusions: used for defense, Possible Structure: small windows, murder-holes, archer-slits, Possible SuperStructure: home, Possible Properties: angular, above entryway, nil CPU time : 0.08 * ; Something is a crest. (add member #crest class (build lex "crest")) --- pause --- (m39!) CPU time : 0.02 * ; The crest is part of the home. (add part *crest whole *home) --- pause --- (m40!) CPU time : 0.01 * ; The bartizan overshadows the crest. (add object1 *bartizan rel (build lex "overshadows") object2 *crest) --- pause --- (m43! m42! m41!) CPU time : 0.03 * ^( --- pause --- --> defineNoun "bartizan") --- pause --- Definition of bartizan: Class Inclusions: high, used for defense, Possible Structure: small windows, murder-holes, archer-slits, Possible SuperStructure: home, Possible Properties: angular, overshadows crest, above entryway, Possibly Similar Items: guard tower, nil CPU time : 0.10 * ; Something is a fortification (add member #fortification class (build lex "fortification")) --- pause --- (m47!) CPU time : 0.04 * ; The fortification is ancient. (add object *fortification property (build lex "ancient")) --- pause --- (m49!) CPU time : 0.00 * ; The home is part of the fortification. (add part *home whole *fortification) --- pause --- (m50!) CPU time : 0.01 * ; Something is named 'Daumard'. (add object #daumard proper-name "Daumard") --- pause --- (m51!) CPU time : 0.01 * ; Daumard possesses the home. (add object *home rel *home-concept possessor *daumard) --- pause --- (m52!) CPU time : 0.01 * ^( --- pause --- --> defineNoun "bartizan") --- pause --- Definition of bartizan: Class Inclusions: high, used for defense, Possible Structure: small windows, murder-holes, archer-slits, Possible SuperStructure: home, Possible Properties: angular, overshadows crest, above entryway, Possibly Similar Items: guard tower, nil CPU time : 0.09 * End of /home/ssdue/jrhowell/CSE727/bartizan2.demo demonstration. CPU time : 1.81 *