Downdate Condition¶

Definition¶

<downdate_condition>

The element that specifies the conditions for downdating a particular perform goal. Downdating in TDM lingo means that the goal has been fulfilled, and that the plan can be stopped from executing.

Parents¶

• <goal>

Children¶

• [<has_shared_value>] (/dialog-domain-description-definition/domain/children/conditions)
• [<has_private_value>] (/dialog-domain-description-definition/domain/children/conditions)
• [<has_shared_or_private_value>] (/dialog-domain-description-definition/domain/children/conditions)
• [<is_shared_commitment>] (/dialog-domain-description-definition/domain/children/conditions)
• [<is_private_belief>] (/dialog-domain-description-definition/domain/children/conditions)
• [<is_private_belief_or_shared_commitment>] (/dialog-domain-description-definition/domain/children/conditions)
• <proposition>

Behaviour¶

If the condition embedded in a downdate_condition element evaluates to true, the goal is considered to be fulfilled, and the goal is downdated -- which means that the plan associated with the goal will no longer be running. More than one downdate_condition can be specified for each goal. If more than one condition is present, they will be treated as a logical or: any condition evaluated to true is enough for downdating the goal.

Examples¶

Downdate Condition for defining that once the departure time of a flight is known, the goal is considered to be fulfilled:¶

<downdate_condition>
    <has_shared_value predicate="flight_departure"/>
</downdate_condition>

Downdate Condition for defining that if the flight departure is late, the goal is considered to be fulfilled:**¶

<downdate_condition>
    <is_shared_commitment predicate="flight_departure" value="late"/>
</downdate_condition>