Commit cd7e896b authored by Markus Klinik's avatar Markus Klinik
Browse files

partial order planning

parent d763c974
......@@ -24,3 +24,8 @@ In order to give the scheduler leeway to find a good schedule, the plan should n
All actions that are not explicitly constrained by the partial ordering should be executable in any order, and even concurrently.
Most classical planners have as output a list of actions that are to be executed in exactly this order.
There is a line of research that is concerned with \emph{partial-order planning}, where the result of planning is a partial ordering on a set of actions.
Any linearization of the partial ordering is a \emph{valid} plan, that is a plan that leads from the start state to a goal state.
A technique for partial order planning is \emph{plan relaxation}.
Plan relaxation works by first letting a classical planner calculate a linear plan, and then removing as many of the order constraints as possible.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment