Real World Replanning
Situation Calculus features:
Elegant
Works with any automated theorem prover
Can be fast
Returns a complete plan guaranteed to work
But requires the plan to work
Does not handle contingencies
Does not handle incremental replanning
Provides only linear workflows
Alternative planning techniques handle contingencies and replanning.
We discuss here
Redux
.
© 2005 Charles Petrie
cjp
