Web Service Composition as a Planning Task: Experiments Using Knowledge-Based Planning

Motivated by the problem of automated Web service composition (WSC), in this paper, we present some empirical evidence to validate the effectiveness of using knowledge-based planning techniques for solving WSC problems. In our experiments we utilize the PKS (Planning with Knowledge and Sensing) planning system which is derived from a generalization of STRIPS. In PKS, the agent’s (incomplete) knowledge is represented by a set of databases and actions are modelled as revisions to the agent’s knowledge state rather than the state of the world. We argue that, despite the intrinsic limited expressiveness of this approach, typical WSC problems can be specified and solved at the knowledge level. We show that this approach scales relatively well under changing conditions (e.g. user constraints). Finally, we discuss implementation issues and propose some architectural guidelines within the context of an agent-oriented framework for inter-operable, intelligent multi-agent systems for WSC and provisioning.

[1]  Fahiem Bacchus,et al.  A Knowledge-Based Approach to Planning with Incomplete Information and Sensing , 2002, AIPS.

[2]  Jana Koehler,et al.  Web Service Composition - Current Solutions and Open Problems , 2003 .

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

[4]  Fahiem Bacchus,et al.  Reasoning with Conditional Plans in the Presence of Incomplete Knowledge , 2003 .

[5]  Fahiem Bacchus,et al.  Extending the Knowledge-Based Approach to Planning with Incomplete Information and Sensing , 2004, ICAPS.

[6]  L. Stein,et al.  OWL Web Ontology Language - Reference , 2004 .

[7]  Piergiorgio Bertoli,et al.  Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking , 2001, IJCAI.

[8]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

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

[10]  Hector J. Levesque,et al.  Logical Foundations for Cognitive Agents , 1999, Artificial Intelligence.

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

[12]  Ronald P. A. Petrick,et al.  Modeling an Agent's Incomplete Knowledge During Planning and During Execution , 1998, KR.

[13]  Hector J. Levesque,et al.  An Incremental Interpreter for High-Level Programs with Sensing , 1999 .

[14]  Ronald P. A. Petrick,et al.  Modeling an Agent ’ s Incomplete Knowledge during Planning and Execution , 1998 .

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

[16]  Karl D. Gottschalk Web services architecture overview: The next stage of evolution for e-business , 2000 .

[17]  Yves Lespérance,et al.  IG-JADE-PKSlib: An Agent-Based Framework for Advanced Web Service Composition and Provisioning , 2004 .