% compiling /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/agents/sumo-on t/centralAgent.pl... % loading /opt/sicstus-3.10.1/lib/sicstus-3.10.1/library/system.po... % module system imported into user % loading foreign resource /opt/sicstus-3.10.1/lib/sicstus-3.10.1/library/x86- linux-glibc2.2/system.so in module system % loaded /opt/sicstus-3.10.1/lib/sicstus-3.10.1/library/system.po in module sys tem, 10 msec 26384 bytes % loading /opt/sicstus-3.10.1/lib/sicstus-3.10.1/library/lists.po... % module lists imported into user % loaded /opt/sicstus-3.10.1/lib/sicstus-3.10.1/library/lists.po in module list s, 0 msec 13764 bytes % loading /opt/sicstus-3.10.1/lib/sicstus-3.10.1/library/random.po... % module random imported into user % loading /opt/sicstus-3.10.1/lib/sicstus-3.10.1/library/assoc.po... % module assoc imported into random % module lists imported into assoc % loaded /opt/sicstus-3.10.1/lib/sicstus-3.10.1/library/assoc.po in module ass oc, 0 msec 11104 bytes % loading foreign resource /opt/sicstus-3.10.1/lib/sicstus-3.10.1/library/x86- linux-glibc2.2/random.so in module random % loaded /opt/sicstus-3.10.1/lib/sicstus-3.10.1/library/random.po in module ran dom, 10 msec 17704 bytes % loading /opt/sicstus-3.10.1/lib/sicstus-3.10.1/library/linda/client.po... % module linda_client imported into user % loading /opt/sicstus-3.10.1/lib/sicstus-3.10.1/library/fastrw.po... % module fastrw imported into linda_client % loading foreign resource /opt/sicstus-3.10.1/lib/sicstus-3.10.1/library/x86 -linux-glibc2.2/fastrw.so in module fastrw % loaded /opt/sicstus-3.10.1/lib/sicstus-3.10.1/library/fastrw.po in module fa strw, 0 msec 5888 bytes % loading /opt/sicstus-3.10.1/lib/sicstus-3.10.1/library/sockets.po... % module sockets imported into linda_client % loading foreign resource /opt/sicstus-3.10.1/lib/sicstus-3.10.1/library/x86 -linux-glibc2.2/sockets.so in module sockets % loaded /opt/sicstus-3.10.1/lib/sicstus-3.10.1/library/sockets.po in module s ockets, 0 msec 17144 bytes % module lists imported into linda_client % loaded /opt/sicstus-3.10.1/lib/sicstus-3.10.1/library/linda/client.po in modu le linda_client, 0 msec 35528 bytes % loading /opt/sicstus-3.10.1/lib/sicstus-3.10.1/library/charsio.po... % module charsio imported into user % loading foreign resource /opt/sicstus-3.10.1/lib/sicstus-3.10.1/library/x86- linux-glibc2.2/charsio.so in module charsio % loaded /opt/sicstus-3.10.1/lib/sicstus-3.10.1/library/charsio.po in module ch arsio, 0 msec 8288 bytes % compiled /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/agents/sumo-ont /centralAgent.pl in module user, 60 msec 144964 bytes SICStus 3.10.1 (x86-linux-glibc2.2): Fri Apr 11 19:15:45 CEST 2003 Licensed to dai.ed.ac.uk | ?- plan. consulting the translator ... % consulting /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/translation/t ranslation.pl... % consulted /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/translation/tr anslation.pl in module user, 30 msec 34448 bytes consulting the plan finder ... % consulting /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/planning/plan finder.pl... % consulted /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/planning/planf inder.pl in module user, 10 msec 5016 bytes consulting the plan deconstructor ... % consulting /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/planning/plan Decon.pl... % consulted /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/planning/planD econ.pl in module user, 20 msec 10912 bytes consulting the ontology updater ... % consulting /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/update/update .pl... % consulted /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/update/update. pl in module user, 20 msec 11736 bytes consulting the diagnostic algorithm ... % consulting /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/diagnosis/dia gnosticAlgorithm.pl... * clauses for user:domainRefinement/8 are not together * Approximate lines: 230-233, file: '/amd/nfs/roc/disk/ptn072/phds.01/fionam/sys tem/system/diagnosis/diagnosticAlgorithm.pl' * [Outcome] - singleton variables in user:checkPredicateSubTypes/9 * Approximate lines: 546-554, file: '/amd/nfs/roc/disk/ptn072/phds.01/fionam/sys tem/system/diagnosis/diagnosticAlgorithm.pl' * [Class,Object] - singleton variables in user:queryProblemPrecond/4 * Approximate lines: 639-642, file: '/amd/nfs/roc/disk/ptn072/phds.01/fionam/sys tem/system/diagnosis/diagnosticAlgorithm.pl' % consulted /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/diagnosis/diag nosticAlgorithm.pl in module user, 50 msec 52696 bytes consulting the refinement system ... % consulting /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/refinement/re finement.pl... * clauses for user:processLine/3 are not together * Approximate lines: 823-844, file: '/amd/nfs/roc/disk/ptn072/phds.01/fionam/sys tem/system/refinement/refinement.pl' % consulted /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/refinement/ref inement.pl in module user, 50 msec 47840 bytes % consulting /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/refinement/me taRefinement.pl... % consulted /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/refinement/met aRefinement.pl in module user, 0 msec 2368 bytes What is the goal? |: s. goal is: knows(agentB,communicationA) translating ... % consulting /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/translation/t ranslateToPDDL.pl... % consulted /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/translation/tr anslateToPDDL.pl in module user, 60 msec 58408 bytes % consulting /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/translation/t ranslateToProlog.pl... % consulted /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/translation/tr anslateToProlog.pl in module user, 30 msec 29600 bytes % consulting /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/translation/t ranslateGoal.pl... % consulted /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/translation/tr anslateGoal.pl in module user, 0 msec 3152 bytes % consulting /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/translation/t ranslateMetaOnt.pl... % consulted /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/translation/tr anslateMetaOnt.pl in module user, 10 msec 7160 bytes % consulting /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/metaOnt.pl... % consulted /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/metaOnt.pl in module user, 0 msec 2376 bytes translation done need to find a plan ... This is the plan: [doB(entityA,physicalA,domainA,actionA,agentA),tell(communicationA,agentB,physic alA,entityA)] % consulting /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/centralSig.pl ... % consulted /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/centralSig.pl in module user, 0 msec 2808 bytes % consulting /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/centralThy.pl ... % consulted /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/centralThy.pl in module user, 0 msec 1544 bytes deconstructing the plan ... executing the plan ... im going to ask doBAgent to perform doB(entityA,physicalA,domainA,actionA,agentA ) for me plan has failed at doB(entityA,physicalA,domainA,actionA,agentA) The KIF ontology has been updated Im diagnosing what the problem is ... I received a query about resultRel(actionA,objectA), which I was not expecting t o be asked about. resultRel(actionA,objectA) has the same name as the precondition resultRel(actio nA,entityA) They also have the same arity (2) args class list is [entity,action] my unmatched classes: [object] his unmatched classes: [entity] diagnosis: domain abstraction. object is a subtype of entity the appropriate refinement has been performed goal is: knows(agentB,communicationA) translating ... % consulting /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/translation/t ranslateToPDDL.pl... % consulted /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/translation/tr anslateToPDDL.pl in module user, 70 msec 12496 bytes % consulting /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/translation/t ranslateToProlog.pl... % consulted /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/translation/tr anslateToProlog.pl in module user, 40 msec 5200 bytes % consulting /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/translation/t ranslateGoal.pl... % consulted /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/translation/tr anslateGoal.pl in module user, 0 msec -536 bytes % consulting /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/translation/t ranslateMetaOnt.pl... % consulted /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/translation/tr anslateMetaOnt.pl in module user, 10 msec 2328 bytes % consulting /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/metaOnt.pl...% consulted /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/metaOnt.pl in module user, 0 msec -152 bytes translation done need to find a plan ... This is the plan: [doB(objectA,physicalA,domainA,actionA,agentA),tell(communicationA,agentB,physic alA,objectA)] % consulting /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/centralSig.pl ... % consulted /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/centralSig.pl in module user, 10 msec -88 bytes % consulting /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/centralThy.pl ... * [MetaVar] - singleton variables in user:fact/1 * Approximate lines: 18-19, file: '/amd/nfs/roc/disk/ptn072/phds.01/fionam/syste m/system/centralThy.pl' % consulted /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/centralThy.pl in module user, 0 msec -104 bytes deconstructing the plan ... executing the plan ... im going to ask doBAgent to perform doB(objectA,physicalA,domainA,actionA,agentA ) for me doB(objectA,physicalA,domainA,actionA,agentA) completed satisfactorily im going to ask tellAgent to perform tell(communicationA,agentB,physicalA,object A) for me plan has failed at tell(communicationA,agentB,physicalA,objectA) The KIF ontology has been updated Im diagnosing what the problem is ... I received a query about represents(physicalA,objectA), which I was not expectin g to be asked about. no preconds have the same name as represents diagnosis: predicate abstraction refers is a subtype of represents the appropriate refinement has been performed goal is: knows(agentB,communicationA) translating ... % consulting /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/translation/t % consulted /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/translation/tr anslateToPDDL.pl in module user, 60 msec 13112 bytes % consulting /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/translation/t ranslateToProlog.pl... % consulted /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/translation/tr anslateToProlog.pl in module user, 40 msec 5056 bytes % consulting /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/translation/t ranslateGoal.pl... % consulted /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/translation/tr anslateGoal.pl in module user, 10 msec -96 bytes % consulting /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/translation/t ranslateMetaOnt.pl... % consulted /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/translation/tr anslateMetaOnt.pl in module user, 10 msec 2248 bytes % consulting /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/metaOnt.pl... % consulted /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/metaOnt.pl in module user, 0 msec -664 bytes translation done need to find a plan ... This is the plan: [doA(objectA,physicalA,communicationA,actionA,agentA),tell(communicationA,agentB ,physicalA,objectA)] % consulting /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/centralSig.pl ... % consulted /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/centralSig.pl in module user, 0 msec -88 bytes % consulting /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/centralThy.pl ... * [MetaVar] - singleton variables in user:fact/1 * Approximate lines: 19-20, file: '/amd/nfs/roc/disk/ptn072/phds.01/fionam/syste m/system/centralThy.pl' % consulted /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/centralThy.pl in module user, 0 msec -264 bytes deconstructing the plan ... executing the plan ... im going to ask doAAgent to perform doA(objectA,physicalA,communicationA,actionA ,agentA) for me doA(objectA,physicalA,communicationA,actionA,agentA) completed satisfactorily im going to ask tellAgent to perform tell(communicationA,agentB,physicalA,object A) for me tell(communicationA,agentB,physicalA,objectA) completed satisfactorily The KIF ontology has been updated The plan is completed The following refinements have been performed: [predicate_abstraction,domain_abstraction] yes | ?-