DocumentCode :
2902882
Title :
Fixing the Semantics for Dynamic Controllability and Providing a More Practical Characterization of Dynamic Execution Strategies
Author :
Hunsberger, Luke
Author_Institution :
Vassar Coll., Poughkeepsie, NY, USA
fYear :
2009
fDate :
23-25 July 2009
Firstpage :
155
Lastpage :
162
Abstract :
Morris, Muscettola and Vidal (MMV) presented an algorithm for checking the dynamic controllability (DC) of temporal networks in which certain temporal durations are beyond the control of the planning agent.Their DC-checking algorithm is based on rules for inferring new constraints based on the real-time context within which execution decisions must be made. This paper presents a counter-example to demonstrate that some of the inference rules are, in fact, not sound.The paper fixes the problem by strengthening the definition of dynamic execution strategies to correctly capture the central prohibition against advance knowledge of future events. The new definition enables MMV´s soundness proof to go through with minimal changes. It then uses the stronger definition to derive an equivalent, alternative characterization of dynamic execution strategies that highlights the real-time execution decisions that a planning agent must make. The procedural strategy used by MMV in their completeness proof is shown to satisfy the stronger definition,thus ensuring that the DC-checking algorithm is also complete with respect to the stronger definition. As a result, the paper puts MMV´s DC-checking algorithm on a more solid theoretical foundation, while also providing a more practical characterization of dynamic execution strategies.
Keywords :
controllability; inference mechanisms; temporal logic; DC-checking algorithm; dynamic controllability; dynamic execution strategies; inference rules; planning agent; real-time context; temporal networks; Constraint theory; Controllability; Educational institutions; Heart; Inference algorithms; Process planning; Solids; Strategic planning; Uncertainty; dynamic controllability; temporal networks;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Temporal Representation and Reasoning, 2009. TIME 2009. 16th International Symposium on
Conference_Location :
Bressanone-Brixen
ISSN :
1530-1311
Print_ISBN :
978-0-7695-3727-6
Type :
conf
DOI :
10.1109/TIME.2009.25
Filename :
5368610
Link To Document :
بازگشت