% compiling /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/agents/lucas-c onf-scenario/lucas.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, 0 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, 10 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, 10 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, 10 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/lucas-co nf-scenario/lucas.pl in module user, 70 msec 144996 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, 40 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, 0 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, 10 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' * [Class,Object] - singleton variables in user:queryProblemPrecond/4 * Approximate lines: 640-643, 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, 40 msec 52704 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, 60 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? |: 'attendConference(lucas,cade)'. goal is: attendConference(lucas,cade) 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 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, 40 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, 10 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 2128 bytes translation done need to find a plan ... This is the plan: [submitPaper(cade,isabellePaperDvi,lucas),register(cade,lucas,isabellePaperDvi), bookAccom(cade,lucas),bookFlight(miami,edinburgh,lucas,cade),reimburse(miami,edi nburgh,cade,lucas)] % consulting /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/centralSig.pl ... * [PseudoVar0] - singleton variables in user:rule/2 * Approximate lines: 1-6, file: '/amd/nfs/roc/disk/ptn072/phds.01/fionam/system/ system/centralSig.pl' * [PseudoVar10,PseudoVar0,PseudoVar2] - singleton variables in user:rule/2 * Approximate lines: 12-18, file: '/amd/nfs/roc/disk/ptn072/phds.01/fionam/syste m/system/centralSig.pl' * [PseudoVar0] - singleton variables in user:rule/2 * Approximate lines: 18-24, file: '/amd/nfs/roc/disk/ptn072/phds.01/fionam/syste m/system/centralSig.pl' * [PseudoVar0] - singleton variables in user:rule/2 * Approximate lines: 24-30, file: '/amd/nfs/roc/disk/ptn072/phds.01/fionam/syste m/system/centralSig.pl' * [PseudoVar0,PseudoVar1] - singleton variables in user:rule/2 * Approximate lines: 30-36, file: '/amd/nfs/roc/disk/ptn072/phds.01/fionam/syste m/system/centralSig.pl' * [PseudoVar0,PseudoVar8] - singleton variables in user:rule/2 * Approximate lines: 36-42, file: '/amd/nfs/roc/disk/ptn072/phds.01/fionam/syste m/system/centralSig.pl' % consulted /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/centralSig.pl in module user, 10 msec 5472 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 1488 bytes deconstructing the plan ... executing the plan ... im going to ask joe to perform submitPaper(cade,isabellePaperDvi,lucas) for me plan has failed at submitPaper(cade,isabellePaperDvi,lucas) The KIF ontology has been updated Im diagnosing what the problem is ... I received a query about class(isabellePaperDvi,psPaper), which I was not expect ing to be asked about. class(isabellePaperDvi,psPaper) has the same name as the precondition class(isab ellePaperDvi,paper) They also have the same arity (2) my object is of the wrong class joe expected an object of class psPaper whereas I thought that an object of clas s paper would be acceptable. paper is a subclass of psPaper so I need to be more specific about this object the appropriate refinement has been performed goal is: attendConference(lucas,cade) 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, 90 msec 22392 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 13632 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 2720 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, 10 msec -152 bytes translation done need to find a plan ... This is the plan: [convertPaper(isabellePaperPs,lucas,isabellePaperDvi),submitPaper(cade,isabelleP aperPs,lucas),register(cade,lucas,isabellePaperPs),bookAccom(cade,lucas),bookFli ght(miami,edinburgh,lucas,cade),reimburse(miami,edinburgh,cade,lucas)] % consulting /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/centralSig.pl ... * [PseudoVar0] - singleton variables in user:rule/2 * Approximate lines: 1-6, file: '/amd/nfs/roc/disk/ptn072/phds.01/fionam/system/ system/centralSig.pl' * [PseudoVar10,PseudoVar0,PseudoVar2] - singleton variables in user:rule/2 * Approximate lines: 12-18, file: '/amd/nfs/roc/disk/ptn072/phds.01/fionam/syste m/system/centralSig.pl' * [PseudoVar0] - singleton variables in user:rule/2 * Approximate lines: 18-24, file: '/amd/nfs/roc/disk/ptn072/phds.01/fionam/syste m/system/centralSig.pl' * [PseudoVar0] - singleton variables in user:rule/2 * Approximate lines: 24-30, file: '/amd/nfs/roc/disk/ptn072/phds.01/fionam/syste m/system/centralSig.pl' * [PseudoVar0,PseudoVar1] - singleton variables in user:rule/2 * Approximate lines: 30-36, file: '/amd/nfs/roc/disk/ptn072/phds.01/fionam/syste m/system/centralSig.pl' * [PseudoVar0,PseudoVar8] - singleton variables in user:rule/2 * Approximate lines: 36-42, file: '/amd/nfs/roc/disk/ptn072/phds.01/fionam/syste m/system/centralSig.pl' % consulted /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/centralSig.pl in module user, 20 msec -88 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, 10 msec -120 bytes deconstructing the plan ... executing the plan ... im going to ask jarred to perform convertPaper(isabellePaperPs,lucas,isabellePap erDvi) for me plan has failed at convertPaper(isabellePaperPs,lucas,isabellePaperDvi) The KIF ontology has been updated Im diagnosing what the problem is ... this plan failed immediately after a request was made to perform convertPaper(is abellePaperPs,lucas,isabellePaperDvi) diagnosis: jarred cant perform convertPaper(isabellePaperPs,lucas,isabellePaperD vi) the appropriate refinement has been performed goal is: attendConference(lucas,cade) 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, 90 msec 21304 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, 60 msec 12832 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 -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 2624 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, 10 msec -288 bytes translation done need to find a plan ... This is the plan: [convertPaper(isabellePaperPs,lucas,isabellePaperDvi),submitPaper(cade,isabelleP aperPs,lucas),register(cade,lucas,isabellePaperPs),bookAccom(cade,lucas),bookFli ght(miami,edinburgh,lucas,cade),reimburse(miami,edinburgh,cade,lucas)] % consulting /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/centralSig.pl ... * [PseudoVar0] - singleton variables in user:rule/2 * Approximate lines: 1-6, file: '/amd/nfs/roc/disk/ptn072/phds.01/fionam/system/ system/centralSig.pl' * [PseudoVar10,PseudoVar0,PseudoVar2] - singleton variables in user:rule/2 * Approximate lines: 12-18, file: '/amd/nfs/roc/disk/ptn072/phds.01/fionam/syste m/system/centralSig.pl' * [PseudoVar0] - singleton variables in user:rule/2 * Approximate lines: 18-24, file: '/amd/nfs/roc/disk/ptn072/phds.01/fionam/syste m/system/centralSig.pl' * [PseudoVar0] - singleton variables in user:rule/2 * Approximate lines: 24-30, file: '/amd/nfs/roc/disk/ptn072/phds.01/fionam/syste m/system/centralSig.pl' * [PseudoVar0,PseudoVar1] - singleton variables in user:rule/2 * Approximate lines: 30-36, file: '/amd/nfs/roc/disk/ptn072/phds.01/fionam/syste m/system/centralSig.pl' * [PseudoVar0,PseudoVar8] - singleton variables in user:rule/2 * Approximate lines: 36-42, file: '/amd/nfs/roc/disk/ptn072/phds.01/fionam/syste m/system/centralSig.pl' % consulted /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/centralSig.pl in module user, 20 msec -88 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, 10 msec -120 bytes deconstructing the plan ... executing the plan ... im going to ask colin to perform convertPaper(isabellePaperPs,lucas,isabellePape rDvi) for me convertPaper(isabellePaperPs,lucas,isabellePaperDvi) completed satisfactorily im going to ask joe to perform submitPaper(cade,isabellePaperPs,lucas) for me submitPaper(cade,isabellePaperPs,lucas) completed satisfactorily im going to ask alison to perform register(cade,lucas,isabellePaperPs) for me plan has failed at register(cade,lucas,isabellePaperPs) The KIF ontology has been updated Im diagnosing what the problem is ... I received a query about money(lucas,dollars,_3727244), which I was not expectin g to be asked about. money(lucas,dollars,_3727244) has the same name as the precondition money(lucas, 1000) They have different arity (3 and 2) diagnosis: propositional anti-abstraction my arguments are of these types : [number,agent] money requires an extra argument of type currency I already know that currency is a subclass of thing the appropriate refinement has been performed goal is: attendConference(lucas,cade) 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 22328 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 12816 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 360 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 2624 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, 10 msec -152 bytes translation done need to find a plan ... This is the plan: [register(cade,dollars,lucas,isabellePaperPs),bookAccom(cade,dollars,lucas),bookFlight(miami ,edinburgh,dollars,lucas,cade),reimburse(miami,edinburgh,cade,dollars,lucas)] % consulting /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/centralSig.pl... * [PseudoVar0] - singleton variables in user:rule/2 * Approximate lines: 1-6, file: '/amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/centr alSig.pl' * [PseudoVar10,PseudoVar0,PseudoVar2] - singleton variables in user:rule/2 * Approximate lines: 12-18, file: '/amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/cen tralSig.pl' * [PseudoVar0] - singleton variables in user:rule/2 * Approximate lines: 18-24, file: '/amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/cen tralSig.pl' * [PseudoVar0] - singleton variables in user:rule/2 * Approximate lines: 24-30, file: '/amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/cen tralSig.pl' * [PseudoVar0,PseudoVar1] - singleton variables in user:rule/2 * Approximate lines: 30-36, file: '/amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/cen tralSig.pl' * [PseudoVar0,PseudoVar8] - singleton variables in user:rule/2 * Approximate lines: 36-42, file: '/amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/cen tralSig.pl' % consulted /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/centralSig.pl in module us er, 20 msec 216 bytes % consulting /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/centralThy.pl... * [MetaVar] - singleton variables in user:fact/1 * Approximate lines: 22-23, file: '/amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/cen tralThy.pl' % consulted /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/centralThy.pl in module us er, 20 msec 544 bytes deconstructing the plan ... executing the plan ... im going to ask alison to perform register(cade,dollars,lucas,isabellePaperPs) for me register(cade,dollars,lucas,isabellePaperPs) completed satisfactorily im going to ask graham to perform bookAccom(cade,dollars,lucas) for me bookAccom(cade,dollars,lucas) completed satisfactorily im going to ask dan to perform bookFlight(miami,edinburgh,dollars,lucas,cade) for me bookFlight(miami,edinburgh,dollars,lucas,cade) completed satisfactorily im going to ask sophie to perform reimburse(miami,edinburgh,cade,dollars,lucas) for me reimburse(miami,edinburgh,cade,dollars,lucas) completed satisfactorily The KIF ontology has been updated The plan is completed The following refinements have been performed: [propositional_anti_abstraction,incorrect_agent,precondition_anti_abstraction] yes | ?-