Partially Ordered Plan

Let there be a STRIPS Task. Then a partially ordered plan is a labeled DAG:

• nodes (steps) are labeled with actions
  • Start Step
  • Finish Step
• Causal Link

Temporal Constraint

We want to have no open conditions in the end.

Possibly Intervening Step

A Partially Ordered Plan is complete iff every Precondition is achieved.