Abstract
The DAML-S Process Model is designed to support the application of AI planning techniques to the automated composition of Web services. SHOP2 is an Hierarchical Task Network (HTN) planner well-suited for working with the Process Model. We have proven the correspondence between the semantics of SHOP2 and the situation calculus semantics of the Process Model. We have also implemented a system which soundly and completely plans over sets of DAML-S descriptions using a SHOP2 planner, and then executes the resulting plans over the Web. We discuss the challenges and difficulties of using SHOP2 in the information-rich and human-oriented context of Web services. © Springer-Verlag Berlin Heidelberg 2003.
| Original language | English |
|---|---|
| Title of host publication | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci. |
| Publisher | Springer Nature |
| Pages | 195-210 |
| Number of pages | 15 |
| Volume | 2870 |
| Publication status | Published - 2003 |
| Event | The Semantic Web - ISWC 2003, Second International Semantic Web Conference, Sanibel Island, FL, USA, October 20-23, 2003, Proceedings - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/semweb/iswc2003.html#UscholdCDFSUWBH03http://dblp.uni-trier.de/rec/bibtex/conf/semweb/UscholdCDFSUWBH03.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/semweb/UscholdCDFSUWBH03 |
Publication series
| Name | Lecture Notes in Computer Science |
|---|
Conference
| Conference | The Semantic Web - ISWC 2003, Second International Semantic Web Conference, Sanibel Island, FL, USA, October 20-23, 2003, Proceedings |
|---|---|
| Period | 1/01/24 → … |
| Internet address |