Validating plans with exogenous events

Howey, R. and Long, D. and Fox, M.; (2004) Validating plans with exogenous events. In: Proceedings of the 23rd Workshop of the UK Planning and Scheduling Special Interest Group (PlanSIG 2004). UNSPECIFIED, pp. 78-87.

Preview

PDF. Filename: strathprints002654.pdf Download (229kB)| Preview

Abstract

We are concerned with the problem of deciding the validity of a complex plan involving interacting continuous activity.In these situations there is a need to model and reason about the continuous processes and events that arise as a consequence of the behaviour of the physical world in which the plan is expected to execute. In this paper we describe how events, which occur as the outcome of uncontrolled physical processes, can be taken into account in determining whether a plan is valid with respect to the domain model. We do not consider plan generation issues in this paper but focus instead on issues in domain modelling and plan validation.

• Share and Export
  

  RDF+XMLBibTeXRIOXX2 XMLRDF+N-TriplesJSONDublin CoreAtomSimple MetadataReferMETSHTML CitationASCII CitationOpenURL ContextObjectEndNoteOpenURL ContextObject in SpanMODSMPEG-21 DIDLEP3 XMLData Cite XMLRIS (EndNote Online, Zotero, Ref manager, etc)RDF+N3Multiline CSV
• Item metadata

  Item type:	Book Section
  ID code:	2654
  Dates:	Date Event 2004 Published
  Subjects:	Science > Mathematics > Electronic computers. Computer science
  Department:	Faculty of Science > Computer and Information Sciences
  Depositing user:	Strathprints Administrator
  Date deposited:	01 Mar 2007
  Last modified:	11 Nov 2024 14:31
  URI:	https://strathprints.strath.ac.uk/id/eprint/2654