Guard, guard, guard, guard, guard... + FIX DYFETS COMPUTER + BRUSH YOUR TEETH, FLOSS AND MOUTHWASH NOW + RECORD MEALS/VITAMIN-D + TAKE VITAMIN-D/ANTI-TRIGLYCERIDE MEDICATION - Guard... andrewdo@ai:/var/lib/myfrdcsa/codebases/internal$ cd /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/scripts && ./3t-launch-planner.sh Warning: An error occurred (There is no such system defined: AP) during the reading or evaluation of -e "(load-system 'ap :compile t)" International Allegro CL Enterprise Edition 8.1 [Linux (x86)] (Jul 28, 2007 7:38) Copyright (C) 1985-2007, Franz Inc., Oakland, CA, USA. All Rights Reserved. This development copy of Allegro CL is licensed to: [TC17309] TRACLabs ; Loading home .clinit.cl file. ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/acl81/code/asdf.fasl gc: E=0% N=132904 O+=0 pfu=123+2593 pfg=1+92 ; Loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/ap.system ; Loading ap:user;file-io;json;cl-json;cl-json.asd ; (/var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/user/file-io/json/cl-json/cl-json.asd) ; Loading ap:belief-network;ap-beliefs.system ; (/var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/belief-network/ap-beliefs.system) ; Loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/belief-network/NeticaL/NeticaL.system ; Loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/belief-network/NeticaL/NeticaJ.translations Warning: NeticaL.translations could not find NeticaJ gc: E=0% N=303776 O+=0 pfu=0+279 pfg=0+87 ; Loading ap:AllegroGraph;ap-AllegroGraph.system ; (/var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/AllegroGraph/ap-AllegroGraph.system) ; Loading /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/ap.asd Error loading #P"/home/andrewdo/.clinit.cl": Package :ASDF-USER does not exist. Use defpackage to create new packages ;; 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). CL-USER(1): (progn cl-user: (load-system 'ap :compile t) cl-user: (in-package :ap) (defun split-re (arg1 arg2) "" (split-regexp arg1 arg2)) (defun replace-re (arg1 arg2 arg3) "" (replace-regexp arg1 arg2 arg3))) ; Loading system: "AP". ; Loading product for module: "package". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/system/package.fasl ; Loading product for module: "ontology-packages". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/system/ontology-packages.fasl ; Loading product for module: "global-variables". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/system/global-variables.fasl ; Loading product for module: "lisp-extensions". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/system/lisp-extensions.fasl gc: E=0% N=411456 O+=0 pfu=0+438 pfg=0+7 ; Loading product for module: "string-utilities". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/system/string-utilities.fasl ; Loading product for module: "metaobject". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/system/metaobject.fasl ; Loading product for module: "patmatch". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/system/patmatch.fasl gc: E=0% N=465176 O+=2064 pfu=0+29 pfg=0+3 ; Loading product for module: "unify". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/system/unify.fasl ; Loading product for module: "stubs". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/system/stubs.fasl ; Loading product for module: "splay". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/system/splay.fasl ; Loading product for module: "jlinker". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/system/jlinker.fasl ; Fast loading ; /Doug/non-backup/ai.frdcsa.org/overflow-from/s3/private/external/acl81/code/jlinker.fasl gc: E=50% N=405864 O+=119384 pfu=0+34 pfg=0+31 gc: E=0% N=444512 O+=154000 pfu=0+30 pfg=0+37 gc: E=100% N=423496 O+=102432 pfu=0+21 pfg=0+26 gc: E=0% N=511872 O+=63584 pfu=0+18 pfg=0+16 gc: E=100% N=536384 O+=80128 pfu=0+9 pfg=0+19 gc: E=0% N=487888 O+=94008 pfu=0+14 pfg=0+23 gc: E=100% N=534872 O+=134200 pfu=0+9 pfg=0+35 gc: E=0% N=504216 O+=164952 pfu=0+1 pfg=0+40 gc: E=100% N=550080 O+=93704 pfg=0+22 gc: E=0% N=581208 O+=90480 pfg=0+23 gc: E=100% N=507672 O+=177808 pfg=0+43 gc: E=0% N=514320 O+=134520 pfg=0+33 gc: E=100% N=531768 O+=139560 pfu=0+1 pfg=0+34 gc: E=0% N=504000 O+=122800 pfu=0+1 pfg=0+30 ; Loading product for module: "pathnames". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/system/pathnames.fasl ; Loading product for module: "csp-class". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/system/csp/csp-class.fasl ; Loading product for module: "create-csp". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/system/csp/create-csp.fasl gc: E=100% N=488944 O+=104384 pfu=0+2 pfg=0+26 ; Loading product for module: "solver". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/system/csp/solver.fasl ; Loading product for module: "api". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/system/csp/api.fasl ; Loading product for module: "global-variables". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/user/global-variables.fasl gc: E=0% N=438848 O+=134584 pfg=0+33 ; Loading product for module: "APThing". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/APThing.fasl ; Loading product for module: "DomainObject". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/DomainObject.fasl ; Loading product for module: "context". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/context.fasl gc: E=0% N=314904 O+=135280 pfg=0+33 ; Loading product for module: "subgoal". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/subgoal.fasl ; Loading product for module: "PDDL_2_1". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/PDDL_2_1.fasl ; Loading product for module: "PPDDL". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/PPDDL.fasl ; Loading product for module: "package". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/owl/package.fasl ; Loading product for module: "Ontology". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/owl/Ontology.fasl ; Loading product for module: "namespace". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/owl/namespace.fasl ; Loading product for module: "Class". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/owl/Class.fasl gc: E=100% N=366856 O+=45328 pfu=0+2 pfg=0+10 ; Loading product for module: "Container". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/owl/Container.fasl ; Loading product for module: "AnonymousClass". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/owl/AnonymousClass.fasl ; Loading product for module: "orphan-classes". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/owl/orphan-classes.fasl ; Loading product for module: "pddl-types". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/owl/pddl-types.fasl ; Loading product for module: "subclasses". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/owl/subclasses.fasl ; Loading product for module: "supreclasses". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/owl/supreclasses.fasl gc: E=0% N=417552 O+=1632 pfu=0+1 pfg=0+1 ; Loading product for module: "predicates". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/owl/predicates.fasl ; Loading product for module: "owl-time". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/owl/owl-time.fasl ; Loading product for module: "make-owl". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/owl/make-owl.fasl ; Loading product for module: "pddl-support". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/pddl-support.fasl ; Loading product for module: "ObjectProperty". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/predicates/ObjectProperty.fasl gc: XO-E=0% N=491528 O+=0 pfg=0+21 ; Loading product for module: "function". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/predicates/function.fasl ; Loading product for module: "inverseOf". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/predicates/inverseOf.fasl ; Loading product for module: "subPropertyOf". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/predicates/subPropertyOf.fasl gc: E=0% N=314832 O+=224032 pfu=0+27 ; Loading product for module: "propositions". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/predicates/propositions.fasl ; Loading product for module: "negation". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/predicates/negation.fasl ; Loading product for module: "init". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/predicates/init.fasl ; Loading product for module: "action". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/action/action.fasl gc: E=0% N=371576 O+=37600 pfu=0+1 ; Loading product for module: "forall". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/action/forall.fasl ; Loading product for module: "template". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/action/template.fasl ; Loading product for module: "expansion". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/action/expansion.fasl gc: E=100% N=456632 O+=8 pfu=0+4 ; Loading product for module: "syntax-checks". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/action/syntax-checks.fasl ; Loading product for module: "OPT". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/action/OPT.fasl ; Loading product for module: "define". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/action/define.fasl gc: XO-E=0% N=509592 O+=0 pfg=0+24 ; Loading product for module: "define-durative-action". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/action/define-durative-action.fasl ; Loading product for module: "situation". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/situation/situation.fasl ; Loading product for module: "domain-situation". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/situation/domain-situation.fasl gc: E=100% N=316080 O+=235496 pfu=0+35 ; Loading product for module: "initial-situation". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/situation/initial-situation.fasl ; Loading product for module: "planned-situation". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/situation/planned-situation.fasl ; Loading product for module: "join". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/situation/join.fasl ; Loading product for module: "get-propositions". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/situation/get-propositions.fasl gc: E=0% N=352104 O+=26104 pfu=0+2 ; Loading product for module: "negation". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/situation/negation.fasl ; Loading product for module: "axiom". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/axiom/axiom.fasl ; Loading product for module: "axiom-effect". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/axiom/axiom-effect.fasl ; Loading product for module: "syntax-checks". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/axiom/syntax-checks.fasl ; Loading product for module: "detect-inverseOf". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/axiom/detect-inverseOf.fasl ; Loading product for module: "define". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/axiom/define.fasl gc: E=100% N=393184 O+=0 pfu=0+13 ; Loading product for module: "apply-axioms". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/axiom/apply-axioms.fasl ; Loading product for module: "no-context". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/axiom/no-context.fasl ; Loading product for module: "object". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/object.fasl gc: XO-E=0% N=432472 O+=0 pfg=0+19 ; Loading product for module: "resource". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/resource.fasl ; Loading product for module: "designators". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/designators.fasl gc: E=100% N=276600 O+=242928 pfu=0+35 ; Loading product for module: "error-checks". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/problem/error-checks.fasl ; Loading product for module: "goal". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/problem/goal.fasl ; Loading product for module: "problem". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/problem/problem.fasl gc: E=0% N=314080 O+=18712 pfg=0+1 ; Loading product for module: "define". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/problem/define.fasl ; Loading product for module: "assumption". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/assumption/assumption.fasl ; Loading product for module: "assumed-resource". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/assumption/assumed-resource.fasl ; Loading product for module: "pc-assumption". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/assumption/pc-assumption.fasl ; Loading product for module: "domain". gc: E=0% N=363392 O+=0 pfu=0+6 ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/representation/domain.fasl ; Loading product for module: "print-prop". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/system/ui/print-prop.fasl ; Loading product for module: "print-plan". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/system/ui/print-plan.fasl gc: XO-E=0% N=452272 O+=0 pfu=0+1 pfg=0+21 ; Loading product for module: "menus". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/system/ui/menus.fasl ; Loading product for module: "predicates". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/planning/predicates.fasl gc: E=0% N=294576 O+=186880 pfu=0+38 ; Loading product for module: "plan-access". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/planning/plan-access.fasl ; Loading product for module: "probability". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/planning/probability.fasl ; Loading product for module: "meu". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/planning/meu.fasl gc: E=100% N=296936 O+=66976 ; Loading product for module: "make-situations". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/planning/make-situations.fasl ; Loading product for module: "situation-order". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/planning/situation-order.fasl ; Loading product for module: "OPT". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/planning/OPT.fasl gc: E=0% N=383960 O+=7776 pfu=0+8 ; Loading product for module: "create-expansion". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/planning/create-expansion.fasl ; Loading product for module: "duration-methods". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/planning/duration-methods.fasl ; Loading product for module: "dependencies". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/planning/dependencies.fasl gc: XO-E=100% N=418872 O+=8 pfu=0+2 pfg=0+17 ; Loading product for module: "duration". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/planning/duration.fasl ; Loading product for module: "rejected-values". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/planning/rejected-values.fasl gc: E=0% N=299936 O+=162488 pfu=0+42 ; Loading product for module: "designators". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/planning/designators.fasl ; Loading product for module: "testing-constraints". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/planning/testing-constraints.fasl gc: E=0% N=271328 O+=66392 ; Loading product for module: "testing-preconditions". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/planning/testing-preconditions.fasl gc: E=100% N=291432 O+=32720 pfu=0+6 ; Loading product for module: "backtracking". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/planning/backtracking.fasl ; Loading product for module: "find-new-ops". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/planning/find-new-ops.fasl gc: XO-E=0% N=340128 O+=0 pfu=0+1 pfg=0+12 ; Loading product for module: "a-star-search". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/planning/a-star-search.fasl gc: E=0% N=468384 O+=138008 pfu=0+48 ; Loading product for module: "establish-subgoal". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/planning/establish-subgoal.fasl gc: E=0% N=467320 O+=38864 pfg=0+1 ; Loading product for module: "combined-operation". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/planning/combined-operation.fasl ; Loading product for module: "contingency". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/planning/contingency.fasl gc: E=0% N=456584 O+=39696 pfu=0+1 ; Loading product for module: "generate-plan". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/planning/generate-plan.fasl gc: E=0% N=496384 O+=43952 ; Loading product for module: "CounterAction". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/counterplanning/CounterAction.fasl ; Loading product for module: "countergoal". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/counterplanning/countergoal.fasl ; Loading product for module: "counterplan". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/counterplanning/counterplan.fasl gc: E=0% N=528336 O+=1200 ; Loading product for module: "get-files". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/user/file-io/get-files.fasl gc: XO-E=0% N=564832 O+=0 pfg=0+22 ; Loading product for module: "write-to-file". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/user/file-io/write-to-file.fasl ; Loading product for module: "pddl-files". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/user/file-io/pddl-files.fasl ; Loading product for module: "domain-to-triples". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/user/file-io/ntriples/domain-to-triples.fasl gc: E=100% N=268592 O+=342824 pfu=0+101 ; Loading product for module: "plan-to-triples". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/user/file-io/ntriples/plan-to-triples.fasl ; Loading product for module: "plan-access". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/user/plan-access.fasl gc: E=0% N=212968 O+=85800 pfg=0+1 ; Loading product for module: "define-predicate". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/user/define-predicate.fasl ; Loading product for module: "objects". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/user/objects.fasl ; Loading product for module: "propositions". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/user/propositions.fasl ; Loading product for module: "domain". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/user/domain.fasl gc: E=100% N=225232 O+=32704 pfu=0+8 ; Loading product for module: "edit-plan". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/user/edit-plan.fasl ; Loading product for module: "load-pddl". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/user/running/load-pddl.fasl ; Loading product for module: "run". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/user/running/run.fasl ; Loading product for module: "execution-monitor". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/user/running/execution-monitor.fasl ; Loading product for module: "reset". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/user/running/reset.fasl ; Loading product for module: "repair-structure". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/replanning/repair-structure.fasl gc: E=0% N=253184 O+=29944 pfg=0+1 ; Loading product for module: "situations". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/replanning/situations.fasl ; Loading product for module: "duration". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/replanning/duration.fasl ; Loading product for module: "replace-chosen". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/replanning/replace-chosen.fasl ; Loading product for module: "conflict". gc: E=0% N=249336 O+=31456 ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/replanning/conflict.fasl ; Loading product for module: "easy-repairs". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/replanning/easy-repairs.fasl gc: XO-E=0% N=309960 O+=1008 pfg=0+11 ; Loading product for module: "replace-wedge". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/replanning/replace-wedge.fasl ; Loading product for module: "replanner". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/replanning/replanner.fasl gc: E=0% N=277216 O+=86552 pfu=0+44 ; Loading product for module: "perceived-situation". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/execution-monitor/perceived-situation.fasl ; Loading product for module: "output-situation". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/execution-monitor/output-situation.fasl ; Loading product for module: "execution-status". gc: E=0% N=225408 O+=55784 ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/execution-monitor/execution-status.fasl ; Loading product for module: "check-status". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/execution-monitor/check-status.fasl ; Loading product for module: "contingency". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/execution-monitor/contingency.fasl gc: E=100% N=241368 O+=35160 pfu=0+1 ; Loading product for module: "designators". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/execution-monitor/designators.fasl ; Loading product for module: "problem-detection". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/execution-monitor/problem-detection.fasl gc: E=0% N=229320 O+=46144 ; Loading product for module: "time". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/execution-monitor/time.fasl ; Loading product for module: "monitor". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/execution-monitor/monitor.fasl gc: E=0% N=289480 O+=37224 pfu=0+4 ; Loading product for module: "api". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/execution-monitor/api.fasl ; Loading product for module: "add-new-subgoal". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/execution-monitor/add-new-subgoal.fasl ; Loading product for module: "anchor". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/plan-recognition/anchor.fasl ; Loading product for module: "pr-problem". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/plan-recognition/pr-problem.fasl ; Loading product for module: "upward-path". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/plan-recognition/upward-path.fasl gc: XO-E=0% N=316184 O+=816 pfg=0+10 ; Loading product for module: "initialize-search". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/plan-recognition/initialize-search.fasl ; Loading product for module: "search-upward". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/plan-recognition/search-upward.fasl gc: E=0% N=278152 O+=72968 pfu=0+48 ; Loading product for module: "match-anchor". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/plan-recognition/match-anchor.fasl gc: E=0% N=295632 O+=29104 pfg=0+1 ; Loading product for module: "generate-plan". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/plan-recognition/generate-plan.fasl ; Loading product for module: "remove-axiom". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/user/developer-tools/remove-axiom.fasl ; Loading product for module: "print-plan". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/user/developer-tools/print-plan.fasl gc: E=0% N=231560 O+=91088 pfu=0+3 ; Loading product for module: "plan". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/user/developer-tools/plan.fasl ; Loading product for module: "action". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/user/developer-tools/action.fasl gc: E=0% N=239560 O+=36904 ; Loading product for module: "situation". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/user/developer-tools/situation.fasl ; Loading product for module: "run-demos". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/user/developer-tools/run-demos.fasl ; Loading product for module: "cause-replanning". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/user/developer-tools/simulate-execution/cause-replanning.fasl gc: E=0% N=248680 O+=27400 ; Loading product for module: "simulate". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/user/developer-tools/simulate-execution/simulate.fasl ; Loading product for module: "trace". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/user/debug/trace.fasl ; Loading product for module: "dribble". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/user/debug/dribble.fasl ; Loading product for module: "explain-failed-subgoal". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/user/debug/explain-failed-subgoal.fasl gc: XO-E=0% N=312608 O+=3320 pfg=0+11 ; Loading product for module: "initializations". ; Fast loading ; /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/system/initializations.fasl gc: E=0% N=257136 O+=70488 pfu=0+50 gc: E=0% N=243256 O+=36248 gc: E=100% N=242816 O+=47264 pfu=0+15 gc: E=0% N=327352 O+=65104 pfu=0+81 pfg=0+2 -- FOAF extends OWLgc: Mark Pass...done(20+0), marked 128709 objects, overflows = 0, max depth (minus ovflow) = 2. Weak-vector Pass...done(0+0). Cons-cell swap...done(0+0), 6730 cons cells moved Oldarea break chain...done(0+0), 1191 holes totalling 692608 bytes Page-compaction data...done(0+0). Address adjustment...[1204 on stack,1-pass]...done(20+0). Compacting other objects...done(0+0). Page compaction...done(0+0), 37 pages moved New rootset...done(20+0), 966 rootset entries Building new pagemap...done(0+0). Merging empty oldspaces...done, 0 oldspaces merged. global gc recovered 742736 bytes of old space. gc: XO-E=0% N=245552 O+=38216 pfg=1+388 Adversarial Planner This is Free Software, No rights reserved. Type :pa ap to switch to the AP package (load-pddl) to select PDDL file(s) from /var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/domains/ REPLACE-RE AP(2): (progn ap: (load "ap:domains;CBRN;RTS-AI;Iran.pddl") (setf *problem* (first (problems *domain*))) (run-ap *problem*)) ; Loading ap:domains;CBRN;RTS-AI;Iran.pddl ; (/var/lib/myfrdcsa/codebases/minor/3t-frdcsa/planner/domains/CBRN/RTS-AI/Iran.pddl) -- AP: Adversarial Planning, extends FOAF -- ORG extends FOAF -- WGS84_POS extends OWL -- GEOGRAPHY extends WGS84_POS -- EVENT extends FOAF, ORG, WGS84_POS, GEOGRAPHYgc: E=0% N=478744 O+=0 pfu=0+54 orphan classes: , WIPEgc: E=0% N=507448 O+=27472 pfg=0+2 -- PHYSOB extends FOAF, EVENT -- COMMUNICATION extends EVENTgc: E=0% N=621760 O+=50784 pfu=0+8 -- COMMERCE extends PHYSOB, COMMUNICATION (PRODUCE #1=AGENT PHYSICALENTITY) -subPropertyOf-> (POSSESSES #1# THING) (PURCHASED CUSTOMER PHYSICALENTITY) -subPropertyOf-> (POSSESSES AGENT THING) (ACQUIRE #1=AGENT PHYSICALENTITY) -subPropertyOf-> (POSSESSES #1# THING) ( #1=AGENT #2=THING) -subPropertyOf-> (POSSESSES #1# #2#) -- TRANSPORTATION extends EVENT, PHYSOB, GEOGRAPHYgc: E=100% N=381592 O+=142680 pfu=0+3 -- COMPUTER extends FOAF, EVENT orphan classes: MACHINE -- NETWORK extends COMPUTER Warning: predicate (CONNECTED ?H1 ?H2 - HOST) in NETWORK previously defined as (CONNECTED #1=LOCATION #1#) in GEOGRAPHY -- INTERNET extends NETWORK, COMPUTER, COMMUNICATIONgc: E=100% N=261456 O+=193624 -- INTERNATIONAL-COMMERCE extends COMMERCE, TRANSPORTATION, INTERNET -- CBRNECHEMICAL extends EVENTgc: E=66% N=401096 O+=86984 pfu=0+28 orphan classes: MATERIALENTITY -- DIMEFIL: classes of actions, extends EVENT, AP, INTERNATIONAL-COMMERCE, CBRNECHEMICAL record-class NATURALGAS: CBRNECHEMICAL now extends COMMERCEgc: E=75% N=411384 O+=18136 -- MANUFACTURING extends EVENT, COMMERCE adopt-orphan-class MACHINE from COMPUTER orphan classes: CARVEgc: E=0% N=399256 O+=36848 -- CAPABILITY: merged with competency 2016-11-06, extends EVENT, ORG -- WEBSEARCH extends INTERNET -- extends MANUFACTURING, CAPABILITY, GEOGRAPHY, WEBSEARCH remove-action STEAL from COMMERCE -- : air parts of transportation domain, extends TRANSPORTATION -- extends TRANSPORTATION -- WEAPON: created 2016-05-13 from weapon_ont.owl, extends MANUFACTURING -- THREAT-BEHAVIORS extends AP, DIMEFIL, AGENT, CAPABILITY, AIR, WATER, WEAPONgc: E=100% N=336448 O+=105080 remove-action MAKE from COMMERCE -- CBRNEMATEQUIP extends AGENT, CBRNECHEMICALgc: E=100% N=411032 O+=178648 gc: E=100% N=392344 O+=30432 gc: XO-E=100% N=403768 O+=0 pfg=0+23 gc: E=100% N=291936 O+=120984 pfu=0+38 adopt-orphan-class WIPE from EVENTgc: E=100% N=169584 O+=140576 gc: E=50% N=185600 O+=0 pfu=0+3 gc: XO-E=50% N=202040 O+=0 pfg=0+12 gc: E=100% N=91144 O+=138496 pfu=0+50 -- MINING-MILLING: P1 in IAEA pathway, extends CBRNECHEMICAL, CBRNEMATEQUIP, MANUFACTURING -- ENRICHMENT extends CBRNECHEMICAL, CBRNEMATEQUIP, MANUFACTURING -- NUCLEAR extends EVENT, AP, MINING-MILLING, ENRICHMENT, WEAPON -- NUCLEAR_WEAPON extends THREAT-BEHAVIORS, NUCLEARgc: E=100% N=101792 O+=13144 pfg=0+1 remove-action OBTAIN from COMMERCEgc: E=100% N=97792 O+=16064 pfu=0+1 gc: E=50% N=161920 O+=16272 pfu=0+2 pfg=0+1 gc: E=0% N=143864 O+=42656 pfu=0+1 IRAN_NOW: 12 +axioms-applied+gc: E=0% N=55384 O+=23416 gc: E=0% N=125912 O+=8984 gc: XO-E=0% N=84608 O+=2568 pfg=0+7 gc: E=0% N=2752 O+=81856 gc: E=0% N=2752 O+=0 gc: E=0% N=2752 O+=0 gc: E=0% N=2752 O+=14248 gc: E=0% N=2752 O+=0 gc: E=0% N=2752 O+=0 gc: E=0% N=2752 O+=0 gc: E=0% N=4256 O+=0 *problem* = NUCLEARWEAPONATTACKCAPABILITY need to get highly enriched, build weapon, etc. deadline = 416.0 establish-goal (HASNUCLEARATTACKCAPABILITY IRN) note-chosen-for : (HASSOMEKNOWLEDGEOF IRN NUCLEARWEAPON) DEVELOPEXPERTS35 RECRUITEXPERTS34 --> DEVELOPEXPERTS35gc: E=100% N=151512 O+=0 pfu=0+61 note-chosen-for : (OBTAINFISSILEMATERIAL IRN) IMPORTHEU50 (?SELLER . PAK) CONCENTRATE52 (?PLANT . NATANZ) CONCENTRATE53 (?PLANT . FODROW) REPROCESSSPENTFUEL51 (?PLANT . IR-40) --> IMPORTHEU50 :value HIGHLYENRICHEDURANIUMgc: E=50% N=191232 O+=0 :value IMPLOSIONWEAPON Thus ends plan-generation of problem NUCLEARWEAPONATTACKCAPABILITY ... probability-of-success = 0.000 ===== generate-counterplans ======= ---- counterplan vs. NUCLEARWEAPONPROGRAM4 ---- get-value setting *current-situation* = TESTNUCLEARWEAPON58_OUT counterplans: OR340: not(HASACCESSTO IRN NATANZ) | not(HASFINANCIALRESOURCES IRN) OR DESTROYUNDERGROUNDFACILITY61: not(HASACCESSTO IRN NATANZ) REIMPOSESANCTIONS60: not(HASFINANCIALRESOURCES IRN) planner: USA jeopardizes TESTNUCLEARWEAPON58, IMPORTHEU50 time:hasDuration = 10.00 WEEKs [deadline = 416.00] probability-of-success = 0.940 DESTROYUNDERGROUNDFACILITY62: not(HASACCESSTO IRN NATANZ) planner: ISR jeopardizes TESTNUCLEARWEAPON58 time:hasDuration = 8.00 WEEKs [deadline = 416.00] probability-of-success = 0.400 found zero counter-counterplans to foil (OR340 DESTROYUNDERGROUNDFACILITY62) ===== end generate-counterplans ========= -------- plan: NUCLEARWEAPONPROGRAM4 -------- NUCLEARWEAPONPROGRAM4: (HASNUCLEARATTACKCAPABILITY IRN) SERIES parallel BREAKOUTCAPABILITY5: (HASBREAKOUTCAPABILITY IRN) COVERS-START SELLHYDROCARBONFUEL6: (HASFINANCIALRESOURCES IRN) COVERS-START PRODUCEFUEL7: (PRODUCE IRN HYDROCARBONFUEL) parallel SELLFUEL8: (SOLD IRN HYDROCARBONFUEL GBR) SERIES TRANSFERMONEY9: (TRANSFERFUNDS GBR IRN MONEY) SERIES WITHDRAWMONEY10: (WITHDRAW GBR MONEY) DEPOSITMONEY11: (DEPOSITED IRN MONEY) :value GBR SELLFUEL12: (SOLD IRN HYDROCARBONFUEL DEU) SERIES TRANSFERMONEY13: (TRANSFERFUNDS DEU IRN MONEY) SERIES WITHDRAWMONEY14: (WITHDRAW DEU MONEY) DEPOSITMONEY15: (DEPOSITED IRN MONEY) :value DEU SELLFUEL16: (SOLD IRN HYDROCARBONFUEL PAK) SERIES TRANSFERMONEY17: (TRANSFERFUNDS PAK IRN MONEY) SERIES WITHDRAWMONEY18: (WITHDRAW PAK MONEY) DEPOSITMONEY19: (DEPOSITED IRN MONEY) :value PAK SELLFUEL20: (SOLD IRN HYDROCARBONFUEL IND) SERIES TRANSFERMONEY21: (TRANSFERFUNDS IND IRN MONEY) SERIES WITHDRAWMONEY22: (WITHDRAW IND MONEY) DEPOSITMONEY23: (DEPOSITED IRN MONEY) :value IND SELLFUEL24: (SOLD IRN HYDROCARBONFUEL FRA) SERIES TRANSFERMONEY25: (TRANSFERFUNDS FRA IRN MONEY) SERIES WITHDRAWMONEY26: (WITHDRAW FRA MONEY) DEPOSITMONEY27: (DEPOSITED IRN MONEY) :value FRA SELLFUEL28: (SOLD IRN HYDROCARBONFUEL CHI) SERIES TRANSFERMONEY29: (TRANSFERFUNDS CHI IRN MONEY) SERIES WITHDRAWMONEY30: (WITHDRAW CHI MONEY) DEPOSITMONEY31: (DEPOSITED IRN MONEY) :value CHI parallel CONDUCTRESEARCH33: (CONDUCTRESEARCH IRN NUCLEARWEAPON) SERIES DEVELOPEXPERTS35: (HASSOMEKNOWLEDGEOF IRN NUCLEARWEAPON) PERFORMR&D36: (PERFORMR&D IRN NUCLEARWEAPON) DEVELOPLOGISTICALRESOURCES37: (HASLOGISTICALRESOURCES IRN NUCLEARWEAPON) PURCHASECONTROLLEDSUBSTANCE39: (POSSESSES IRN NUCRELATEDEQUIPMENT) :value AGENT38 DEVELOPDELIVERYSYSTEM42: (PRODUCE IRN ICBM) SERIES parallel BUILD&TEST43: (BUILDANDTEST IRN WEAPONGUIDANCE) BUILD&TEST44: (BUILDANDTEST IRN ROCKET) BUILD&TEST45: (BUILDANDTEST IRN REENTRYCAPABILITY) ASSEMBLEMISSILE47: (BUILDANDTEST IRN ICBM) DEVELOPNUCLEARWEAPON49: (ACQUIRE IRN NUCLEARWEAPON) :value IMPLOSIONWEAPON SERIES IMPORTHEU50: (OBTAINFISSILEMATERIAL IRN) :value HIGHLYENRICHEDURANIUM SERIES TRANSFERMONEY54: (TRANSFERFUNDS IRN PAK MONEY) SERIES WITHDRAWMONEY55: (WITHDRAW IRN MONEY) DEPOSITMONEY56: (DEPOSITED PAK MONEY) :value IRN BUILDIMPLOSIONWEAPON57: (PRODUCE IRN NUCLEARWEAPON) :input HIGHLYENRICHEDURANIUM :output IMPLOSIONWEAPON TESTNUCLEARWEAPON58: (TEST IRN IMPLOSIONWEAPON) :value NATANZ MINIATURIZENUCLEARWEAPON59: (MINIATURIZE IRN IMPLOSIONWEAPON) probability-of-success = 0.000 time:hasDuration = 178.00 WEEKs [deadline = 416.00] 2 assumptions, 2 used 1 axioms applied 4 constraints tested 0.1 seconds 54 nodes examined, 627.9 nodes/sec 49 chosen, 569.8 chosen/sec NUCLEARWEAPONPROGRAM4 NIL AP(3):