SOC 2 Composition 2 slide-40

The Travel Reimbursement 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.