AT4WS09 slide-17

The TR Problem Requires More

True Deductive synthesis planning will not work because no plan is sound Even a conditional plan that listed all managers might fail.

Need defeasible planning
- Identify contingencies: conditions that if excluded produce a sound plan.
- Identify assumptions based on domain-knowledge about defaults that reduce the need for conditional planning.
Interleave execution and re-planning as necessary. Need additional semantic annotations of services.