Web Services Planning

Enables the "wizard" 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 integrated web services.

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

© 2005 Charles Petrie cjp