Validating plans in the context of processes and exogenous events

M. Fox, R. Howey, D. Long

Research output: Chapter in Book/Report/Conference proceedingChapter

14 Citations (Scopus)

Abstract

Complex planning domains push the boundaries of the expressive power of planning domain modelling languages. Recent extensions to the standard planning languages have included expressions for temporal, metric and resource structures. Other work has also considered how process models can be incorporated into domain models. In this paper we consider the problem of expressing and validating models containing events which are triggered as a consequence of the action of physical processes. We focus, primarily, on the validation of plans in the context of exogenous events, discussing the modelling, semantic and implementation issues that arise. Events impact not only on plans but on domain models as a whole and we also consider the problems that arise in considering the validation of event structures in domain models.
LanguageEnglish
Title of host publicationProceedings of the Twentieth National Conference on Artificial Intelligence
Publication statusPublished - 3 Jul 2005

Fingerprint

Planning
Semantics
Modeling languages

Keywords

  • artificial intelligence
  • planning domains
  • scheduling
  • exogenous events

Cite this

Fox, M., Howey, R., & Long, D. (2005). Validating plans in the context of processes and exogenous events. In Proceedings of the Twentieth National Conference on Artificial Intelligence
Fox, M. ; Howey, R. ; Long, D. / Validating plans in the context of processes and exogenous events. Proceedings of the Twentieth National Conference on Artificial Intelligence. 2005.
@inbook{8045e51353d240579d9265b9d4aa8928,
title = "Validating plans in the context of processes and exogenous events",
abstract = "Complex planning domains push the boundaries of the expressive power of planning domain modelling languages. Recent extensions to the standard planning languages have included expressions for temporal, metric and resource structures. Other work has also considered how process models can be incorporated into domain models. In this paper we consider the problem of expressing and validating models containing events which are triggered as a consequence of the action of physical processes. We focus, primarily, on the validation of plans in the context of exogenous events, discussing the modelling, semantic and implementation issues that arise. Events impact not only on plans but on domain models as a whole and we also consider the problems that arise in considering the validation of event structures in domain models.",
keywords = "artificial intelligence, planning domains, scheduling, exogenous events",
author = "M. Fox and R. Howey and D. Long",
year = "2005",
month = "7",
day = "3",
language = "English",
isbn = "978-1-57735-236-5",
booktitle = "Proceedings of the Twentieth National Conference on Artificial Intelligence",

}

Fox, M, Howey, R & Long, D 2005, Validating plans in the context of processes and exogenous events. in Proceedings of the Twentieth National Conference on Artificial Intelligence.

Validating plans in the context of processes and exogenous events. / Fox, M.; Howey, R.; Long, D.

Proceedings of the Twentieth National Conference on Artificial Intelligence. 2005.

Research output: Chapter in Book/Report/Conference proceedingChapter

TY - CHAP

T1 - Validating plans in the context of processes and exogenous events

AU - Fox, M.

AU - Howey, R.

AU - Long, D.

PY - 2005/7/3

Y1 - 2005/7/3

N2 - Complex planning domains push the boundaries of the expressive power of planning domain modelling languages. Recent extensions to the standard planning languages have included expressions for temporal, metric and resource structures. Other work has also considered how process models can be incorporated into domain models. In this paper we consider the problem of expressing and validating models containing events which are triggered as a consequence of the action of physical processes. We focus, primarily, on the validation of plans in the context of exogenous events, discussing the modelling, semantic and implementation issues that arise. Events impact not only on plans but on domain models as a whole and we also consider the problems that arise in considering the validation of event structures in domain models.

AB - Complex planning domains push the boundaries of the expressive power of planning domain modelling languages. Recent extensions to the standard planning languages have included expressions for temporal, metric and resource structures. Other work has also considered how process models can be incorporated into domain models. In this paper we consider the problem of expressing and validating models containing events which are triggered as a consequence of the action of physical processes. We focus, primarily, on the validation of plans in the context of exogenous events, discussing the modelling, semantic and implementation issues that arise. Events impact not only on plans but on domain models as a whole and we also consider the problems that arise in considering the validation of event structures in domain models.

KW - artificial intelligence

KW - planning domains

KW - scheduling

KW - exogenous events

UR - http://www.aaai.org/Library/AAAI/aaai05contents.php

M3 - Chapter

SN - 978-1-57735-236-5

BT - Proceedings of the Twentieth National Conference on Artificial Intelligence

ER -

Fox M, Howey R, Long D. Validating plans in the context of processes and exogenous events. In Proceedings of the Twentieth National Conference on Artificial Intelligence. 2005