Commit 307374a5 authored by Markus Klinik's avatar Markus Klinik
Browse files

some stuff about classical planning

parent a17f213b
......@@ -2,7 +2,7 @@
Planning is the activity of determining a list of actions that leads from an undesirable state of the world to a desirable one.
Automated planning means that a computer performs this activity.
Automated planning means that an algorithm, called \emph{planner}, performs this activity.
For this to work, the state of the world and the actions with their effects on the world must be formalized in a way that allows computers to reason about them.
The state of the art in automated planning is called \emph{classical planning}.
In classical planning, the state of the world is a set of nullary predicates called \emph{fluids}.
......@@ -11,3 +11,16 @@ The precondition is a set of fluids that must be included in the current state i
The effect of an action is two sets of fluids, one that is added to the state and one that is deleted.
When the action is executed, the state is modified according to the action's effect.
A concise definition of classical planning is given by \citet{MuiseBM2016}.
The most important property of this definition of classical planning is that PDDL can be compiled to it.
PDDL is a domain-specific programming language for describing planning problems.
It is supported by virtually every planner currently in existence.
\subsection{Planning for C2}
For C2, planning is only a part in the decision support process.
We want to feed the output of planning as input to scheduling.
In order to give the scheduler leeway to find a good schedule, the plan should not be a list of actions, to be executed in exactly this order, but a set with a partial ordering.
All actions that are not explicitly constrained by the partial ordering should be executable in any order, or even concurrently.
Most classical planners have as output a list of actions that are to be executed in exactly this order.
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