Validating plans in the context of processes and exogenous events

Authors:
Maria Fox;Richard Howey;Derek Long
Affiliations:
Department of Computer and Information Sciences, University of Strathclyde, Glasgow, UK;Department of Computer and Information Sciences, University of Strathclyde, Glasgow, UK;Department of Computer and Information Sciences, University of Strathclyde, Glasgow, UK
Venue:
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
Year:
2005

Citing 6
Cited 3

Using temporal logics to express search control knowledge for planning

Artificial Intelligence
Robust Timed Automata

HART '97 Proceedings of the International Workshop on Hybrid and Real-Time Systems
The theory of hybrid automata

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
VAL: Automatic Plan Validation, Continuous Effects and Mixed Initiative Planning Using PDDL

ICTAI '04 Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence
Continuous time in a SAT-based planner

AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
PDDL2.1: an extension to PDDL for expressing temporal planning domains

Journal of Artificial Intelligence Research

Reasoning about discrete event sources

AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
A universal planning system for hybrid domains

Applied Intelligence
COLIN: planning with continuous linear numeric change

Journal of Artificial Intelligence Research

Quantified Score

Hi-index	0.00

Visualization

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.