The POCL (SNLP/McAllester&Rosenblitt) Algorithm
Initialize P ? the NULL plan
Solution check: if P is a solution, succeed
Otherwise
- Choose some flaw in P, F
- a flaw is an open condition or threat
- Choose some method to repair F; if none, fail
- if F is an open condition, methods are the existing plan steps or any operator that asserts the condition can be added to the plan
- if F is a threat, then promote, demote, or separate