Script started on Mon Nov 06 09:55:24 2006 castor/F06> acl International Allegro CL Enterprise Edition 8.0 [Solaris] (Jun 30, 2006 12:35) 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/shapiro/Sneps/sneps262 ; Loading /projects/shapiro/Sneps/sneps262.cl ; Loading /projects/shapiro/Sneps/Sneps262/load-sneps.lisp ; Loading ; /projects/snwiz/Install/Sneps-2.6.1/load-logical-pathnames.lisp Loading system SNePS...10% 20% 30% 40% 50% 60% 70% 80% 90% 100% SNePS-2.6 [PL:1a 2004/08/26 23:05:27] loaded. Type `(sneps)' or `(snepslog)' to get started. cl-user(2): (sneps) Welcome to SNePS-2.6 [PL:1a 2004/08/26 23:05:27] 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. 11/6/2006 9:56:06 * (demo "rules-vs-paths.demo" ) File /u0/faculty/rapaport/Courses/663/F06/rules-vs-paths.demo is now the source of input. CPU time : 0.11 * ; define relations: (define class member subclass superclass) (class member subclass superclass) CPU time : 0.00 * ; Fido is a dog. (describe (assert member Fido class dog)) (m1! (class dog) (member Fido)) (m1!) CPU time : 0.01 * ; Dogs are mammals. (describe (assert subclass dog superclass mammal)) (m2! (subclass dog) (superclass mammal)) (m2!) CPU time : 0.00 * ; Members of a class are members of the class's superclasses (describe (assert forall ($x $y $z) &ant (build member *x class *y) &ant (build subclass *y superclass *z) cq (build member *x class *z))) (m3! (forall v3 v2 v1) (&ant (p2 (subclass v2) (superclass v3)) (p1 (class v2) (member v1))) (cq (p3 (class v3) (member v1)))) (m3!) CPU time : 0.01 * ; Who is a member of what? (describe (deduce member $m class $c)) I wonder if ((p4 (class v5) (member v4))) holds within the BS defined by context default-defaultct I know ((m1! (class (dog)) (member (Fido)))) I wonder if ((p2 (subclass v2) (superclass v3))) holds within the BS defined by context default-defaultct I wonder if ((p1 (class v2) (member v1))) holds within the BS defined by context default-defaultct I know ((m2! (subclass (dog)) (superclass (mammal)))) I know ((m1! (class (dog)) (member (Fido)))) Since ((m3! (forall (v3 <-- mammal) (v2 <-- dog) (v1 <-- Fido)) (&ant (p2 (subclass (v2 <-- dog)) (superclass (v3 <-- mammal))) (p1 (class (v2 <-- dog)) (member (v1 <-- Fido)))) (cq (p3 (class (v3 <-- mammal)) (member (v1 <-- Fido)))))) and ((p2 (subclass (v2 <-- dog)) (superclass (v3 <-- mammal)))) and ((p1 (class (v2 <-- dog)) (member (v1 <-- Fido)))) ;;; ;;; ;;; ;;; ;;; note what happens next--Cassie makes an **inference**: ;;; ;;; ;;; ;;; I infer ((p3 (class (v3 <-- mammal)) (member (v1 <-- Fido)))) (m4! (class mammal) (member Fido)) (m1! (class dog) (member Fido)) (m4! m1!) CPU time : 0.01 * ; Describe the network (describe *nodes) (m4! (class mammal) (member Fido)) (m3! (forall v3 v2 v1) (&ant (p2 (subclass v2) (superclass v3)) (p1 (class v2) (member v1))) (cq (p3 (class v3) (member v1)))) (m2! (subclass dog) (superclass mammal)) (m1! (class dog) (member Fido)) (m4! m3! p3 p2 p1 v3 v2 v1 m2! mammal m1! dog Fido) CPU time : 0.01 * ; reset the net (resetnet) Net reset - Relations and paths are still defined ; but note that no paths have yet been defined! CPU time : 0.00 * ; clear inference (clear-infer) (Node activation cleared. Some register information retained.) CPU time : 0.00 * ; Describe the network (describe *nodes) CPU time : 0.00 * ; define relations: (define class member subclass superclass) class is already defined. member is already defined. subclass is already defined. superclass is already defined. (class member subclass superclass) CPU time : 0.00 * ; Fido is a dog. (describe (assert member Fido class dog)) (m1! (class dog) (member Fido)) (m1!) CPU time : 0.00 * ; Dogs are mammals. (describe (assert subclass dog superclass mammal)) (m2! (subclass dog) (superclass mammal)) (m2!) CPU time : 0.01 * ; Members of a class are members of the class's superclasses (define-path class (compose class (kstar (compose subclass- ! superclass)))) class implied by the path (compose class (kstar (compose subclass- ! superclass))) class- implied by the path (compose (kstar (compose superclass- ! subclass)) class-) CPU time : 0.00 * ;Who is a member of what? (describe (deduce member $m class $c)) I wonder if ((p1 (class v2) (member v1))) holds within the BS defined by context default-defaultct I know ((m1! (class (dog)) (member (Fido)))) ;;; ;;; ;;; ;;; ;;; Note what *doesn't* happen next--Cassie does *not* make an explicit ;;; inference; she "says" that she "knows" the consequence: ;;; ;;; ;;; ;;; I know ((m3! (class (mammal)) (member (Fido)))) (m3! (class mammal) (member Fido)) (m1! (class dog) (member Fido)) (m3! m1!) CPU time : 0.01 * ; Describe the network (describe *nodes) (m3! (class mammal) (member Fido)) (m2! (subclass dog) (superclass mammal)) (m1! (class dog) (member Fido)) (m3! m2! mammal m1! dog Fido) CPU time : 0.01 * End of /u0/faculty/rapaport/Courses/663/F06/rules-vs-paths.demo demonstration. CPU time : 0.08 * (lisp) "End of SNePS" cl-user(3): :ex ; Exiting castor/F06> exit exit script done on Mon Nov 06 09:56:26 2006