HTN planning for Web Service composition using SHOP2

Automated composition of Web Services can be achieved by using AI planning techniques. Hierarchical Task Network (HTN) planning is especially well-suited for this task. In this paper, we describe how HTN planning system SHOP2 can be used with OWL-S Web Service descriptions. We provide a sound and complete algorithm to translate OWL-S service descriptions to a SHOP2 domain. We prove the correctness of the algorithm by showing the correspondence to the situation calculus semantics of OWL-S. We implemented a system that plans over sets of OWL-S descriptions using SHOP2 and then executes the resulting plans over the Web. The system is also capable of executing information-providing Web Services during the planning process. We discuss the challenges and difficulties of using planning in the information-rich and human-oriented context of Web Services.

[1]  Volker Haarslev,et al.  High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study , 2000, IJCAI.

[2]  Tran Cao Son,et al.  Adapting Golog for Composition of Semantic Web Services , 2002, KR.

[3]  Dana S. Nau,et al.  SHOP2: An HTN Planning System , 2003, J. Artif. Intell. Res..

[4]  James A. Hendler,et al.  Web ontology language (OWL) reference version 1 , 2002 .

[5]  Katia P. Sycara,et al.  The RETSINA MAS, a Case Study , 2002, SELMAS.

[6]  Christoph Bussler,et al.  Web Services, E-Business, and the Semantic Web , 2002, Lecture Notes in Computer Science.

[7]  Hector J. Levesque,et al.  GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..

[8]  Yue Cao,et al.  Total-Order Planning with Partially Ordered Subtasks , 2001, IJCAI.

[9]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[10]  David W. Aha,et al.  HICAP: An Interactive Case-Based Planning Architecture and its Application to Noncombatant Evacuation Operations , 1999, AAAI/IAAI.

[11]  Alex M. Andrew,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .

[12]  Craig A. Knoblock.  Planning, Executing, Sensing, and Replanning for Information Gathering , 1995, IJCAI.

[13]  Mihhail Matskin,et al.  Value-Added Web Services Composition Using Automatic Program Synthesis , 2002, WES.

[14]  Paolo Traverso,et al.  Automated Planning: Theory & Practice , 2004 .

[15]  Craig A. Knoblock,et al.  PDDL-the planning domain definition language , 1998 .

[16]  Raymond Reiter,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2001 .

[17]  Frank van Harmelen,et al.  Web Ontology Language: OWL , 2004, Handbook on Ontologies.

[18]  Frank van Harmelen,et al.  Web Ontology Language , 2004 .

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

[20]  Hector J. Levesque,et al.  ConGolog, a concurrent programming language based on the situation calculus , 2000, Artif. Intell..

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

[22]  Franco Zambonelli,et al.  Software Engineering for Large-Scale Multi-Agent Systems , 2003, Lecture Notes in Computer Science.

[23]  Takahiro Kawamura,et al.  Delivering Semantic Web Services , 2003, WWW.

[24]  P ? ? ? ? ? ? ? % ? ? ? ? , 1991 .

[25]  Paolo Traverso,et al.  Automated planning - theory and practice , 2004 .

[26]  James A. Hendler,et al.  The Semantic Web" in Scientific American , 2001 .