Script started on Thu 12 May 2011 01:53:56 PM EDT timberlake {~/Desktop} > mlispInternational 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/snwiz/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. cl-user(2): (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/12/2011 13:54:32 * (demo "PERAMBULATE2-demo.txt" :av) File /home/cendue/dmc42/Desktop/PERAMBULATE2-demo.txt 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.01 * ; =====================================================================; FILENAME: PERAMBULATE-demo.txt; DATE: 4/4/11; PROGRAMMER: DOUGLAS CALDERON;; 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 "PERAMBULATE-demo.txt" :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.00 * ; Load the appropriate definition algorithm:^( --- pause --- --> load "/projects/rapaport/CVA/STN2/defun_verb.cl")--- pause --- ; Loading /projects/rapaport/CVA/STN2/defun_verb.cl t CPU time : 0.01 * ; Clear the SNePS network:(resetnet t)--- pause --- Net reset 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:; 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")--- pause --- Loading file /projects/rapaport/CVA/STN2/demos/rels. CPU time : 0.00 * ; 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.02 * ; BACKGROUND KNOWLEDGE:; =====================; (put annotated SNePSUL code of your background knowledge here);;The Big Rule. Translated to If she(a) perambulates(b), and perambulate(b) is unknown;;and she(a) is moving(c) ;;then perambulate(b) is a subclass of moving(c)(describe (assert forall ($a $b $c) &ant ((build agent *a act (build action *b)) (build member *b class (build lex "unknown")) (build agent *a act (build action *c))) cq (build superclass *c subclass *b)))--- pause --- (m2! (forall v3 v2 v1) (&ant (p5 (act (p4 (action v3))) (agent v1)) (p3 (class (m1 (lex unknown))) (member v2)) (p2 (act (p1 (action v2))) (agent v1))) (cq (p6 (subclass v2) (superclass v3)))) (m2!) CPU time : 0.00 * ;;If the right phrase presents itself to something else(e),;;then e gets an idea(describe (assert forall ($e) ant (build agent (build lex "right phrase") act (build action (build lex "presents itself")) object *e) cq (build object1 *e rel (build lex "gets") object2 (build lex "idea"))))--- pause --- (m8! (forall v4) (ant (p7 (act (m5 (action (m4 (lex presents itself))))) (agent (m3 (lex right phrase))) (object v4))) (cq (p8 (object1 v4) (object2 (m7 (lex idea))) (rel (m6 (lex gets)))))) (m8!) CPU time : 0.00 * ; CASSIE READS THE PASSAGE:; =========================; (put annotated SNePSUL code of the passage here);Katharine...(describe (add object #k proper-name (build lex "Katharine")))--- pause --- (m10! (object b1) (proper-name (m9 (lex Katharine)))) (m10!) CPU time : 0.00 * ;If Katharine got an idea, then she was moving(describe (add forall $x &ant ((build object1 *x rel (build lex "gets") object2 (build lex "idea")) (build object *x proper-name (build lex "Katharine"))) cq (build agent *x act (build action (build lex "moving")))))--- pause --- (m13! (forall v5) (&ant (p10 (object v5) (proper-name (m9 (lex Katharine)))) (p9 (object1 v5) (object2 (m7 (lex idea))) (rel (m6 (lex gets))))) (cq (p11 (act (m12 (action (m11 (lex moving))))) (agent v5)))) (m10! (object b1) (proper-name (m9))) (m13! m10!) CPU time : 0.00 * ;express that perambulate is a member of the class of unknonwn things(describe (add member (build lex "perambulate") class (build lex "unknown")))--- pause --- (m15! (class (m1 (lex unknown))) (member (m14 (lex perambulate)))) (m15!) CPU time : 0.00 * ;Katharine perambulates(describe (add agent *k act (build action (build lex "perambulate"))))--- pause --- (m17! (act (m16 (action (m14 (lex perambulate))))) (agent b1)) (m17!) CPU time : 0.00 * ;The right phrase presents itself to Katharine(describe (add agent (build lex "right phrase") act (build action (build lex "presents itself")) object *k))--- pause --- (m24! (subclass (m14 (lex perambulate))) (superclass (m11 (lex moving)))) (m23! (act (m5 (action (m4 (lex presents itself))))) (agent (m3 (lex right phrase)))) (m22! (act (m5)) (agent (m3)) (object b1)) (m20! (object1 b1) (object2 (m7 (lex idea))) (rel (m6 (lex gets)))) (m18! (act (m12 (action (m11)))) (agent b1)) (m24! m23! m22! m20! m18!) CPU time : 0.01 * ; Ask Cassie what "PERAMBULATE" means:^( --- pause --- --> defineVerb "perambulate")--- pause --- "You want me to define the verb 'perambulate'. I'll start by looking at the predicate stucture of the sentences I know that use 'perambulate'. Here is what I know: The most common type of sentences I know of that use 'perambulate' are of the form: 'A something can perambulate.' The verbs superclasses are: unknown : moving : Sorting from the most common predicate case to the least common here is what I know. I will first attempt to unify the components of the sentences that use the verb giving a generalizaiton based on my background knowledge: A idea can perambulate. Now, looking from the bottom up I want to get a sense of the categories that most of the agents, objects and indirect objects belong to. This is different from looking for the most unified case. Instead I am looking for the classes that contain approximately half of the agents, objects and indirect objects. This is an attempt at generalization but from another approach. A idea can perambulate. " CPU time : 0.01 * End of /home/cendue/dmc42/Desktop/PERAMBULATE2-demo.txt demonstration. CPU time : 0.06 * (lisp) "End of SNePS" cl-user(3): :ex ; Exiting timberlake {~/Desktop} > exit Script done on Thu 12 May 2011 01:55:00 PM EDT