next up previous contents
Next: Spatiotemporal Specification Up: Parameterized Action Representation Previous: Applicability Conditions

Culmination Conditions

 

Whether an action is considered a process or a culminated process depends on whether a culmination condition (default or otherwise) is specified. Processes do not have ``culminations'' associated with them; that is, processes just end, with no consequences attached to their ending. Culminated processes, on the other hand, can only be said to have occurred or be completed if they have reached their culmination, in which case the consequences are that the culmination conditions hold.

  
Figure: Culmination conditions as a series of disjunctive-sensor-queries

Culmination conditions, or the conditions that will hold when an action is completed, are also a series of queries like applicability conditions, however they are restricted to queries of the agent's sensors (see Figure gif). That is, the only way an agent is allowed to determine information about the world is through its sensors. For instance, an agent cannot simply query an object, say the lid of a jar, to see if it loose; the agent must query a sensor to find out if the lid is loose. So, instead of a query such as loose(lid), the agent must use a query such as sense(loose(lid)) in order to determine whether the culmination condition in the action ``Turn lid until loose'' holds. Such sensing processes are needed independently of the need to represent culmination conditions (see Section gif).



DTOG Group