% compiling /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/agents/akt/cen tralAgent.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, 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, 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/akt/cent ralAgent.pl in module user, 70 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, 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, 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? |: 'memberOrganization(researchAgent,refinementSig)'. goal is: memberOrganization(researchAgent,refinementSig) 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, 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 1608 bytes translation done need to find a plan ... This is the plan: [becomeMemberOrganization(refinementSig,researchAgent,schoolOfInformaticsAtEdinb urgh,subscriptionFee,ontologyRefinement)] % consulting /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/centralSig.pl ... * [PseudoVar0] - singleton variables in user:rule/2 * Approximate lines: 6-12, file: '/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 2304 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 936 bytes deconstructing the plan ... executing the plan ... im going to ask membershipAgent to perform becomeMemberOrganization(refinementSi g,researchAgent,schoolOfInformaticsAtEdinburgh,subscriptionFee,ontologyRefinemen t) for me plan has failed at becomeMemberOrganization(refinementSig,researchAgent,schoolOf InformaticsAtEdinburgh,subscriptionFee,ontologyRefinement) The KIF ontology has been updated Im diagnosing what the problem is ... I received a query about hasEmailAddress(researchAgent,_333103), which I was not expecting to be asked about. no preconds have the same name as hasEmailAddress this rule does not appear to be executable diagnosis: precondition anti-abstraction becomeMemberOrganization(refinementSig,researchAgent,schoolOfInformaticsAtEdinbu rgh,subscriptionFee,ontologyRefinement) requires an extra precondition: hasEmail Address(researchAgent,_333103) WARNING: this is a guess I know that researchAgent is of class agent I know that pseudoVar is of class confirmationNumber this is the precond I need to add: (Has-Email-Address ?Agent ?Confirmation-Numbe r) the appropriate refinement has been performed goal is: memberOrganization(researchAgent,refinementSig) 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 15144 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 8272 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, 0 msec 3232 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: [generateEmailAddress(researchAgent,schoolOfInformaticsAtEdinburgh),becomeMember Organization(refinementSig,researchAgent,schoolOfInformaticsAtEdinburgh,subscrip tionFee,ontologyRefinement)] % 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' * [PseudoVar0] - singleton variables in user:rule/2 * Approximate lines: 6-12, file: '/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 -48 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 328 bytes deconstructing the plan ... executing the plan ... im going to ask emailAgent to perform generateEmailAddress(researchAgent,schoolO fInformaticsAtEdinburgh) for me generateEmailAddress(researchAgent,schoolOfInformaticsAtEdinburgh) completed sat isfactorily im going to ask membershipAgent to perform becomeMemberOrganization(refinementSi g,researchAgent,schoolOfInformaticsAtEdinburgh,subscriptionFee,ontologyRefinemen t) for me plan has failed at becomeMemberOrganization(refinementSig,researchAgent,schoolOf InformaticsAtEdinburgh,subscriptionFee,ontologyRefinement) The KIF ontology has been updated Im diagnosing what the problem is ... I received a query about memberAcademicUnit(researchAgent,schoolOfInformaticsAtE dinburgh,ukCsDepts), which I was not expecting to be asked about. memberAcademicUnit(researchAgent,schoolOfInformaticsAtEdinburgh,ukCsDepts) has t he same name as the precondition memberAcademicUnit(researchAgent,schoolOfInform aticsAtEdinburgh) They have different arity (3 and 2) diagnosis: propositional anti-abstraction my arguments are of these types : [academicUnit,agent] membershipAgent tells me that ukCsDepts is of class educationalOrganizationalUni t membershipAgent tells me that educationalOrganizationalUnit is of class organiza tionUnit the appropriate refinement has been performed goal is: memberOrganization(researchAgent,refinementSig) 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 16208 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 8560 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 -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 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, 0 msec -152 bytes translation done need to find a plan ... This is the plan: [becomeMemberOrganization(refinementSig,researchAgent,ukCsDepts,schoolOfInformat icsAtEdinburgh,subscriptionFee,ontologyRefinement)] % 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' * [PseudoVar0] - singleton variables in user:rule/2 * Approximate lines: 6-12, file: '/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 40 bytes % consulting /amd/nfs/roc/disk/ptn072/phds.01/fionam/system/system/centralThy.pl ... * [MetaVar] - singleton variables in user:fact/1 * Approximate lines: 15-16, 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, 10 msec 448 bytes deconstructing the plan ... executing the plan ... im going to ask membershipAgent to perform becomeMemberOrganization(refinementSi g,researchAgent,ukCsDepts,schoolOfInformaticsAtEdinburgh,subscriptionFee,ontolog yRefinement) for me becomeMemberOrganization(refinementSig,researchAgent,ukCsDepts,schoolOfInformati csAtEdinburgh,subscriptionFee,ontologyRefinement) completed satisfactorily The KIF ontology has been updated The plan is completed The following refinements have been performed: [propositional_anti_abstraction,precondition_anti_abstraction] yes | ?-