Validating Plans in the Context of Processes and Exogenous Events

Abstract

Complex planning domains push the boundaries of the ex-pressive power of planning domain modelling languages. Re-cent extensions to the standard planning languages have in-cluded expressions for temporal, metric and resource struc-tures. Other work has also considered how process mod-els 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 vali-dation 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 consid-ering the validation of event structures in domain models. 1