A Fundamental Web Service Planning Problem
Web Services are "Black Boxes" at plan time.
In the blocks world, we always know the result of operator
Stack(A,B)
is
On(A,B)
.
We don't know in general what the output (or effects) of a given web service will be.
In what sense could a plan be
sound
(provable) without such assurance?
©2009
Charles Petrie
