HTN planning for Web Service composition using SHOP2

✍ Scribed by Evren Sirin; Bijan Parsia; Dan Wu; James Hendler; Dana Nau

• Publisher: Elsevier Science
• Year: 2004
• Tongue: English
• Weight: 345 KB
• Volume: 1
• Category: Article
• ISSN: 1570-8268
• DOI: 10.1016/j.websem.2004.06.005

✦ Synopsis

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.