Formal properties of POCL Planners
Soundness: if the algorithm returns a plan, that plan is a solution to the planning problem.
Completeness: if there is a solution plan, the algorithm will eventually find it
- assuming a complete search algorithm
Systematicity: the algorithm will consider each partial plan only once