Script started on Wed 11 May 2011 07:32:01 PM EDT nickelback {~/Desktop} > mlisp International Allegro CL Enterprise Edition 8.2 [Linux (x86)] (Jul 9, 2010 16:05) Copyright (C) 1985-2010, 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/sni wu iz/bin Error: "/projects/snwiz/bin" is not a regular data file [condition type: file-error] Restart actions (select using :continue): 0: retry the load of /projects/snwiz/bin 1: skip loading /projects/snwiz/bin 2: Return to Top Level (an "abort" restart). 3: Abort entirely from this (lisp) process. [1] cl-user(2): :ld /sn  projects/sni wiz/bin/sneps ; Loading /projects/snwiz/bin/sneps.lisp ;;; Installing streamc patch, version 2. Loading system SNePS...10% 20% 30% 40% 50% 60% 70% 80% 90% 100% SNePS-2.7 [PL:2 2011/04/19 17:07:58] loaded. Type `(sneps)' or `(snepslog)' to get started. [1] cl-user(3): (sneps) Welcome to SNePS-2.7 [PL:2 2011/04/19 17:07:58] Copyright (C) 1984--2010 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/11/2011 19:32:28 * (demo "AREEAMOSTOFI-RAVAGE-DEMO.txt") File /home/csdue/areeamos/Desktop/AREEAMOSTOFI-RAVAGE-DEMO.txt is now the source of input. CPU time : 0.00 * ; ================================================================ ; FILENAME: AREEAMOSTOFI-RAVAGE-DEMO.txt ; DATE: 4/26/2011 ; PROGRAMMER: Areea Mostofi ; Using the Becker Verb Algorithm ; 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 "AREEAMOSTOFI-RAVAGE-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. ;^(setq snip:*infertrace* nil) ;Loading of the (default) appropriate definition algorithm: ;Not use because of ambiguity of output. ;(load "/projects/rapaport/CVA/STN2/defun_verb.cl") ;Loading of Becker's Verb Algorithm ^( --> load "/projects/rapaport/CVA/verbalgorithm3.1/defun_verb.cl") ; Loading /projects/rapaport/CVA/verbalgorithm3.1/defun_verb.cl ; Loading /projects/rapaport/CVA/verbalgorithm3.1/DataCollection.cl ; Loading /projects/rapaport/CVA/verbalgorithm3.1/DataProcessing.cl t CPU time : 0.01 * ;Clear the SNePS network: (resetnet t) Net reset CPU time : 0.00 * ; Optional: ; UNCOMMENT THE FOLLOWING CODE TO TURN FORWARD INFERENCING ON: ; ; ;enter the "snip" package: ; ^(in-package snip) ; ; ;turn on full forward inferencing: ; ^(defun broadcast-one-report (represent) ; (let (anysent) ; (do.chset (ch *OUTGOING-CHANNEL* anysent) ; (when (isopen.ch ch) ; (setq anysent ; (of (try-to-send-report represent ch) ; anysent))))) ; nil) ; ;re-enter the "sneps package: ^( --> in-package sneps) # CPU time : 0.00 * ; load all pre-defined relations: ; NB: If "intext" causes a "nil not of expected type" error, ; then comment-out the "intext" command and then ; uncomment & use the load command below instead ;^(load "/projects/rapaport/CVA/STN2/demos/rels") ;(intext "/projects/rapaport/CVA/STN2/demos/rels") ;loading of Becker's Relations ^( --> load "/projects/rapaport/CVA/verbalgorithm3.1/rels") ; Loading /projects/rapaport/CVA/verbalgorithm3.1/rels act is already defined. action is already defined. object1 is already defined. object2 is already defined. effect is already defined. t CPU time : 0.01 * ; load all pre-defined path definitions: ;(intext "/projects/rapaport/CVA/mkb3.CVA/paths/paths") ;^(load "/projects/rapaport/CVA/mkb3.CVA/paths/paths") ;loading of Becker's ^( --> load "/projects/rapaport/CVA/verbalgorithm3.1/paths") ; Loading /projects/rapaport/CVA/verbalgorithm3.1/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-) t CPU time : 0.00 * ;BACKGROUND KNOWLEDGE: ;==================== ;Invading armies destroy public buildings (describe (assert member #armies class (build lex "Invading Armies"))) (m2! (class (m1 (lex Invading Armies))) (member b1)) (m2!) CPU time : 0.00 * (describe (assert member #buildings class (build lex "public buildings"))) (m4! (class (m3 (lex public buildings))) (member b2)) (m4!) CPU time : 0.00 * (describe (assert agent *armies act (build action (build lex "destroy") object (*buildings)))) (m7! (act (m6 (action (m5 (lex destroy))) (object b2))) (agent b1)) (m7!) CPU time : 0.00 * ;RULE: ;For all x, y, act1, act2 IF x does act1 to y and x does act 2 to y and act2 is unknown ;THEN IF x does act2 to y THEN x does act1 to y. (describe (assert forall ($x $y $act1 $act2) &ant((build agent *x act (build action *act1 object *y)) (build agent *x act (build action *act2 object *y)) (build object *act2 property (build lex "unknown"))) cq (build ant (build agent *x act (build action *act2 object *y)) cq(build agent *x act (build action *act1 object *y))))) (m9! (forall v4 v3 v2 v1) (&ant (p5 (object v4) (property (m8 (lex unknown)))) (p4 (act (p3 (action v4) (object v2))) (agent v1)) (p2 (act (p1 (action v3) (object v2))) (agent v1))) (cq (p6 (ant (p4)) (cq (p2))))) (m9!) CPU time : 0.00 * ;CASSIE READS THE PASSAGE: ;========================= ;Invading armies ravage public buildings. (describe (add agent *armies act (build action (build lex "ravage") object *buildings))) (m12! (act (m11 (action (m10 (lex ravage))) (object b2))) (agent b1)) (m7! (act (m6 (action (m5 (lex destroy))) (object b2))) (agent b1)) (m12! m7!) CPU time : 0.00 * ;Ravage is the unknown word. (describe (add object (build lex "ravage") property (build lex "unknown"))) (m15! (ant (m12! (act (m11 (action (m10 (lex ravage))) (object b2))) (agent b1))) (cq (m7! (act (m6 (action (m5 (lex destroy))) (object b2))) (agent b1)))) (m13! (object (m10)) (property (m8 (lex unknown)))) (m15! m13! m7!) CPU time : 0.00 * ;Ask Cassie what "RAVAGE" means: ^( --> defineVerb 'ravage) verb: lex: ravage; property: unknown; similar action: (destroy) effect: (destroy) transitivity: (transitive) nil CPU time : 0.01 * End of /home/csdue/areeamos/Desktop/AREEAMOSTOFI-RAVAGE-DEMO.txt demonstration. CPU time : 0.03 * C ^^? Error: Received signal number 2 (Interrupt) [condition type: interrupt-signal] Restart actions (select using :continue): 0: continue computation at break level 1 1: Return to Debug Level 1 (an "abort" restart). 2: retry the load of /projects/snwiz/bin 3: skip loading /projects/snwiz/bin 4: Return to Top Level (an "abort" restart). 5: Abort entirely from this (lisp) process. [changing package from "common-lisp-user" to "snepsul"] [2c] snepsul(4): :exit ; Exiting nickelback {~/Desktop} > exit exit Script done on Wed 11 May 2011 07:32:50 PM EDT