Semantics for tasks that can be interrupted or abandoned

Research output: Chapter in Book/Report/Conference proceedingConference 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 languageEnglish (US)
Title of host publicationProc 1 Int Conf Artif Intell Plann Syst
PublisherPubl by Morgan Kaufmann Publ Inc
Pages37-42
Number of pages6
ISBN (Print)155860250X, 9781558602502
DOIs
StatePublished - 1992
EventProceedings of the 1st International Conference on Artificial Intelligence Planning Systems - College Park, MD, USA
Duration: Jun 15 1992Jun 17 1992

Publication series

NameProc 1 Int Conf Artif Intell Plann Syst

Other

OtherProceedings of the 1st International Conference on Artificial Intelligence Planning Systems
CityCollege Park, MD, USA
Period6/15/926/17/92

ASJC Scopus subject areas

  • Engineering(all)

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 (pp. 37-42). (Proc 1 Int Conf Artif Intell Plann Syst). Publ by Morgan Kaufmann Publ Inc. https://doi.org/10.1016/b978-0-08-049944-4.50010-0