Validating plans with continuous effects

A critical element in the use of PDDL2.1, the modelling language developed for the International Planning Competition series, has been the common understanding of the semantics of the language. The fact that this has been implemented in plan validation software was vital to the progress of the competition. However, the validation of plans using actions with continuous effects presents new challenges (that precede the challenges presented by planning with those effects). In this paper we review the need for continuous effects, their semantics and the problems that arise in validation of plans that include them. We report our progress in implementing the semantics in an extended version of the plan validation software.

[1]  Derek Long,et al.  VAL's progress: the automatic validation tool for PDDL2.1 used in the International planning competition , 2003 .

[2]  Malik Ghallab,et al.  Planning with Sharable Resource Constraints , 1995, IJCAI.

[3]  Ivan Serina,et al.  LPG: A Planner Based on Local Search for Planning Graphs with Action Costs , 2002, AIPS.

[4]  Mark S. Fox,et al.  Intelligent Scheduling , 1998 .

[5]  Craig A. Knoblock,et al.  PDDL-the planning domain definition language , 1998 .

[6]  Steven A. Vere,et al.  Planning in Time: Windows and Durations for Activities and Goals , 1983, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[7]  Alkiviadis G. Akritas,et al.  Polynomial real root isolation using Descarte's rule of signs , 1976, SYMSAC '76.

[8]  Thomas A. Henzinger,et al.  The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[9]  Malte Helmert,et al.  On the Implementation of MIPS , 2000 .

[10]  P. Zimmermann,et al.  Efficient isolation of polynomial's real roots , 2004 .

[11]  Murray Shanahan,et al.  Representing Continuous Change in the Event Calculus , 1990, ECAI.

[12]  Drew McDermott.  Reasoning about Autonomous Processes in an Estimated-Regression Planner , 2003, ICAPS.

[13]  Maria Fox,et al.  PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains , 2003, J. Artif. Intell. Res..

[14]  Daniel S. Weld,et al.  Temporal Planning with Continuous Change , 1994, AAAI.

[15]  Fahiem Bacchus,et al.  Planning with Resources and Concurrency: A Forward Chaining Approach , 2001, IJCAI.

[16]  Nicola Muscettola,et al.  HSTS: Integrating Planning and Scheduling , 1993 .

[17]  Edwin P. D. Pednault,et al.  FORMULATING MULTIAGENT, DYNAMIC-WORLD PROBLEMS IN THE CLASSICAL PLANNING FRAMEWORK , 1987 .