Satisfying agent goals by executing different task semantics: HTN, OWL-S or plug one yourself

In this paper, we propose a plan execution architecture which supports different task semantics. This way, each goal that is identified during the deliberation cycle of an agent can be satisfied through tasks defined in different semantics. The capability of supporting different task semantics provides two main advantages. The first advantage is the reuse of legacy artifacts within agent plans. The second advantage is simplifying the adaptation of an agent architecture to different standards of a business organization. In order to integrate various task semantics within a plan execution architecture, we have used a smoothly revised version of a previously articulated workflow model into which different task semantics would be reduced before execution. We have integrated hierarchical task network and OWL-S semantics into our plan execution architecture to test the strength of it in terms of support for executing different task semantics in an agent architecture. We think that such a plan execution architecture will contribute to the industrialization of agent architectures.

[1]  Maria E. Orlowska,et al.  Modeling and Verification of Workflow Graphs , 1996 .

[2]  James A. Hendler,et al.  Where Are All the Intelligent Agents? , 2007, IEEE Intell. Syst..

[3]  Rajesh K. Thiagarajan,et al.  BPML : a process modeling language for dynamic business models , 2002, Proceedings Fourth IEEE International Workshop on Advanced Issues of E-Commerce and Web-Based Information Systems (WECWIS 2002).

[4]  Dana S. Nau,et al.  Semantics for hierarchical task-network planning , 1994 .

[5]  Karen L. Myers,et al.  The Act Formalism Version 2 . 2 , 1997 .

[6]  Cape Visions,et al.  A Technical Comparison of XPDL, BPML and BPEL4WS , 2002 .

[7]  Weimin Du,et al.  A Proposed Method for Creating VCR Functions using MPEG Streams. , 1995 .

[8]  Keith S. Decker,et al.  DECAF - A Flexible Multi Agent System Architecture , 2003, Autonomous Agents and Multi-Agent Systems.

[9]  Oguz Dikenelli,et al.  A Planner Infrastructure for Semantic Web Enabled Agents , 2007, OTM Workshops.

[10]  Weimin Du,et al.  Flexible specification of workflow compensation scopes , 1997, GROUP.

[11]  Daniel Moldt,et al.  DaGen: A Tool for Automatic Translation from DAML-S to High-Level Petri Nets , 2004, FASE.

[12]  Angelo Oddi,et al.  Integrating planning and scheduling in workflow domains , 2007, Expert Syst. Appl..

[13]  Armin Haller,et al.  WSMX - a semantic service-oriented architecture , 2005, IEEE International Conference on Web Services (ICWS'05).

[14]  Anupriya Ankolekar,et al.  Automated discovery, interaction and composition of Semantic Web services , 2003, J. Web Semant..

[15]  Michael Wooldridge,et al.  An introduction to multiagent systems Wiley , 2002 .

[16]  Martyn Fletcher,et al.  Implementing Industrial Multi-agent Systems Using JACK , 2003, PROMAS.

[17]  Joachim Peer,et al.  A POP-Based Replanning Agent for Automatic Web Service Composition , 2005, ESWC.

[18]  I. Melzer Web Services Description Language , 2010 .

[19]  Jos de Bruijn,et al.  Web Service Modeling Ontology , 2005, Appl. Ontology.

[20]  Felipe Meneguzzi Sixth International Joint Conference on Autonomous Agents and Multiagent Systems , 2008 .

[21]  Michael Wooldridge,et al.  Introduction to multiagent systems , 2001 .

[22]  Wil M. P. van der Aalst,et al.  Workflow Patterns , 2004, Distributed and Parallel Databases.

[23]  David Booth,et al.  Web Services Description Language (WSDL) Version 2.0 Part 0: Primer , 2007 .

[24]  Anand S. Rao,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.

[25]  Michael Grüninger,et al.  The Process Specification Language (PSL) Theory and Applications , 2003, AI Mag..

[26]  Bernard Burg,et al.  7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, 2008, Industry and Applications Track Proceedings , 2008, AAMAS.

[27]  Giovanni Caire,et al.  WADE: a software platform to develop mission critical applications exploiting agents and workflows , 2008, AAMAS.

[28]  Jerry R. Hobbs,et al.  DAML-S: Semantic Markup for Web Services , 2001, SWWS.

[29]  Katia P. Sycara,et al.  The RETSINA MAS Infrastructure , 2003, Autonomous Agents and Multi-Agent Systems.

[30]  Francisco Curbera,et al.  Web Services Business Process Execution Language Version 2.0 , 2007 .

[31]  Wil M. P. van der Aalst,et al.  Workflow Patterns , 2003, Distributed and Parallel Databases.

[32]  Agostino Poggi,et al.  Jade - a fipa-compliant agent framework , 1999 .

[33]  Matthias Klusch,et al.  Evaluation of Service Composition Planning with OWLS-XPlan , 2006, 2006 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology Workshops.

[34]  James A. Hendler,et al.  HTN planning for Web Service composition using SHOP2 , 2004, J. Web Semant..

[35]  James A. Hendler,et al.  Using Planning Graphs for Solving HTN Planning Problems , 1999, AAAI/IAAI.

[36]  Winfried Lamersdorf,et al.  Jadex: Implementing a BDI-Infrastructure for JADE Agents , 2003 .

[37]  Anupriya Ankolekar,et al.  Towards a Formal Verification of OWL-S Process Models , 2005, SEMWEB.

[38]  Joachim Peer,et al.  A PDDL Based Tool for Automatic Web Service Composition , 2004, PPSWR.

[39]  Keith Decker,et al.  Unified Information and Control Flow in Hierarchical Task Networks , 1996 .

[40]  Karsten Wolf,et al.  Transforming BPEL to Petri Nets , 2005, Business Process Management.

[41]  Oguz Dikenelli,et al.  SEAGENT MAS platform development environment , 2008, AAMAS.

[42]  Sheila A. McIlraith,et al.  Simulation, verification and automated composition of web services , 2002, WWW.

[43]  Maria E. Orlowska,et al.  Analyzing Process Models Using Graph Reduction Techniques , 2000, Inf. Syst..

[44]  Maria E. Orlowska,et al.  Data Flow and Validation in Workflow Modelling , 2004, ADC.

[45]  James A. Hendler,et al.  Reinventing Academic Publishing-Part 1 , 2007, IEEE Intelligent Systems.

[46]  Barbara Messing,et al.  An Introduction to MultiAgent Systems , 2002, Künstliche Intell..

[47]  Martin Fowler,et al.  Patterns of Enterprise Application Architecture , 2002 .

[48]  Stephen Lee-Urban,et al.  TMK models to HTNs : translating process models into hierarchical task networks , 2005 .