Planning as Search 3
Phase 1 - Graph Expansion
- Necessary (insufficient) conditions for plan existence
- Local consistency of plan-as-CSP
Phase 2 - Solution Extraction
- Variables
- action execution at a time point
- Constraints
- goals, subgoals achieved
- no side-effects between actions
-