Semantics for tasks that can be interrupted or abandoned

Ernest Davis

doi:10.1016/b978-0-08-049944-4.50010-0

Semantics for tasks that can be interrupted or abandoned

Ernest Davis

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

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.

Original language	English (US)
Title of host publication	Proc 1 Int Conf Artif Intell Plann Syst
Publisher	Publ by Morgan Kaufmann Publ Inc
Pages	37-42
Number of pages	6
ISBN (Print)	155860250X, 9781558602502
DOIs	https://doi.org/10.1016/b978-0-08-049944-4.50010-0
State	Published - 1992
Event	Proceedings of the 1st International Conference on Artificial Intelligence Planning Systems - College Park, MD, USA Duration: Jun 15 1992 → Jun 17 1992

Publication series

Name	Proc 1 Int Conf Artif Intell Plann Syst

Other

Other	Proceedings of the 1st International Conference on Artificial Intelligence Planning Systems
City	College Park, MD, USA
Period	6/15/92 → 6/17/92

ASJC Scopus subject areas

Engineering(all)

Access to Document

10.1016/b978-0-08-049944-4.50010-0

Fingerprint Dive into the research topics of 'Semantics for tasks that can be interrupted or abandoned'. Together they form a unique fingerprint.

Cite this

Davis, E 1992, Semantics for tasks that can be interrupted or abandoned. in Proc 1 Int Conf Artif Intell Plann Syst. Proc 1 Int Conf Artif Intell Plann Syst, Publ by Morgan Kaufmann Publ Inc, pp. 37-42, Proceedings of the 1st International Conference on Artificial Intelligence Planning Systems, College Park, MD, USA, 6/15/92. https://doi.org/10.1016/b978-0-08-049944-4.50010-0

@inproceedings{5cbe7fcdc05a47c6b0a9289521377c65,

title = "Semantics for tasks that can be interrupted or abandoned",

abstract = "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.",

author = "Ernest Davis",

year = "1992",

doi = "10.1016/b978-0-08-049944-4.50010-0",

language = "English (US)",

isbn = "155860250X",

series = "Proc 1 Int Conf Artif Intell Plann Syst",

publisher = "Publ by Morgan Kaufmann Publ Inc",

pages = "37--42",

booktitle = "Proc 1 Int Conf Artif Intell Plann Syst",

note = "Proceedings of the 1st International Conference on Artificial Intelligence Planning Systems ; Conference date: 15-06-1992 Through 17-06-1992",

}

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 -