Next: Plan Validation Up: PDDL2.1 : An Extension Previous: Durative Actions with Conditional

# The Semantics of Continuous Durative Actions

The introduction of continuous durative actions complicates the semantics. It is no longer possible to handle invariants by insertion of simple actions between other happenings in a plan to test their continued satisfaction. In fact, continuous effects can, in principle, cause an invariant to be satisfied over some parts of an interval and not over others. Ignoring invariants for a moment, updates to numeric values caused by continuous effects can be applied as discrete updates at time points within the interval over which they apply. These updates behave slightly differently to the discrete updates we have seen in durative actions with discrete effects, since it is possible for a continuous update to affect a variable that is concurrently affected by a discrete update, or examined by a precondition, without creating an inconsistency. For example, if the water heating action in Figure 14 is applied with the concurrent addition of an egg to the pan with a precondition that the temperature of the water is between 90 and 95 degrees then the value of the temperature can be examined at the moment of application of the action adding the egg. This is because the temperature change is actually happening over the interval between the start of the heating and the point at which the egg is added, rather than as a discrete update at the point the egg is added. The temperature is not actually changed at the instant of the addition of the egg.

In this section we summarise the semantics for continuous actions. Where the semantics for discrete durative actions is defined in terms of the familiar state-transition semantics, the continuous semantics introduces a different formulation.

Definition 21   A Continuous Durative Action A continuous effect is an effect expression that includes the symbol t. A continuous durative action is a durative action with at least one continuous effect.

Definition 22   Continuous Update Function Let be a set of ground continuous effects for a planning instance, , and be a state. The continuous update function defined by for state is the function , where is dim, such that:

and

where is the update function generated for an action with:

Definition 22 shows how the continuous effects of several continuous durative actions can be combined to create a single system of simultaneous differential equations whose solution, given an appropriate starting point, defines the evolution of the continuously varying values.

Definition 23   Induced Continuous Plan Let be a planning instance that includes continuous durative actions and be a plan for . The induced continuous plan for is a triple, , where is , is the set of invariant constraints:

Let and be two consecutive times in the happening sequence for . The set of active continuous effects over is:

and is the set of systems of continuous effects:

The components of a continuous plan separate out the invariant conditions and continuous effects from the rest of the simple plan in order to allow correct application of the continuous updates and to allow confirmation that the invariants hold in the face of the continuous effects.

Definition 24   Trace Let be a planning instance that includes continuous durative actions, be a plan for , be the induced continuous plan for , be the happening sequence for and be the initial state for . The trace for is the sequence of states defined as follows:
• If there is no element then is the state resulting from applying the happening at in the simple plan to the state .
• If then let be the the state formed by substituting for the numeric part of state , where is the continuous update function defined by for state . Then is the state resulting from applying the happening at in the simple plan to the state . If is undefined for any element in then so is the trace.

Definition 24 defines a trace in a similar fashion to the traces for simple plans and plans with durative actions. The key difference is the need to apply the continuous updates. These are handled by solving the systems of simultaneous differential equations across each interval in which they are active and then applying the result to update the numeric values across that interval. Of course, this is easier to describe than it is to do, since solving arbitrary simultaneous differential equations algorithmically is not generally possible. Under certain constraints this semantics can be implemented in order to confirm the validity of a plan automatically.

Definition 25   Invariant Safe Let be a planning instance that includes continuous durative actions, be a plan for , be the induced continuous plan for and be the trace for . For each let be the continuous update function defined by for . is invariant safe if, for each that is defined and for each such that , then , where is the logical state in .

In this definition, the symbols are used to mean that the interval can be closed or open at either end.

From a semantic point of view, invariants must be checked at every point in the interval over which they apply. When the interval contains only finitely many discrete changes then the obligation can be met by considering only the finite number of points at which change occurs (a fact that is exploited for discrete durative action plan semantics in Definition 18). When there is continuous change the obligation is much harder to meet. In practice, the invariants can be checked by examining the possible roots of the function describing continuous change, but finding those roots can be very difficult in general. Again, suitable constraints on the forms of differential equations expressed in a domain can make the validation problem tractable.

The last two definitions simply assemble the components to arrive at analogous definitions to those for executability and validity of simple plans and plans with durative actions.

Definition 26   Executability of a Plan A plan containing continuous durative actions, for planning instance , with induced continuous plan . is executable if the trace for is defined, , and it is invariant safe.

Definition 27   Plan Validity A plan containing durative actions, for planning instance is valid if it is executable, with trace and satisfies the goal in .

Next: Plan Validation Up: PDDL2.1 : An Extension Previous: Durative Actions with Conditional
Derek Long 2003-11-06