TY - GEN
T1 - Semantics for tasks that can be interrupted or abandoned
AU - Davis, Ernest
PY - 1992
Y1 - 1992
N2 - It is often desirable to allow a robot in a dynamic, uncontrolled environment to interrupt or abandon some task that engages it. To facilitate this, it is helpful to include in the language of plans such control structure as 'Carry out task T1 until condition Q becomes true,' or 'Proceed with the execution of task T1 whenever it does not interfere with task T2.' To define such control structures formally, it is necessary to define what it means to begin carrying out a task, independently of whether the task is completed. This paper presents a formal semantics for a language of plans that includes these control structures, together with concurrency and partial specification. Such a semantics will support the formal verification of plans of this kind.
AB - It is often desirable to allow a robot in a dynamic, uncontrolled environment to interrupt or abandon some task that engages it. To facilitate this, it is helpful to include in the language of plans such control structure as 'Carry out task T1 until condition Q becomes true,' or 'Proceed with the execution of task T1 whenever it does not interfere with task T2.' To define such control structures formally, it is necessary to define what it means to begin carrying out a task, independently of whether the task is completed. This paper presents a formal semantics for a language of plans that includes these control structures, together with concurrency and partial specification. Such a semantics will support the formal verification of plans of this kind.
UR - http://www.scopus.com/inward/record.url?scp=0026994408&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0026994408&partnerID=8YFLogxK
U2 - 10.1016/b978-0-08-049944-4.50010-0
DO - 10.1016/b978-0-08-049944-4.50010-0
M3 - Conference contribution
AN - SCOPUS:0026994408
SN - 155860250X
SN - 9781558602502
T3 - Proc 1 Int Conf Artif Intell Plann Syst
SP - 37
EP - 42
BT - Proc 1 Int Conf Artif Intell Plann Syst
PB - Publ by Morgan Kaufmann Publ Inc
T2 - Proceedings of the 1st International Conference on Artificial Intelligence Planning Systems
Y2 - 15 June 1992 through 17 June 1992
ER -