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.

Need additional semantic annotations of services.