Generalizing Plan-space Refinement: HPS
Plan-space refinement involves Establishment and Declobbering
Problem: Which actions are used for establishment?
- Only primitive actions?
- All actions (a la DPOCL)?
- Violation of user-intent
- Loss of systematicity
- Non-minimality