Web Services Planning

Enables the wizzard to act, rather than just know.

Narayanan & McIlraith - 2002
Combined DAML+OIL (+ service representation = DAML-S)
Situational Calculus, Petri Nets to derive formal semantics for composite web services.

Logic-based composition is very expressive.
Can be used to mediate between web services and current knowledge.
 By using fluent "know", same rules for knowing and doing.

© 2007 Charles Petrie - permission to reproduce widely with attribution