Temporal Planning With Required Concurrency Using Classical Planning

Authors

  • Sergio Jiménez Universitat Pompeu Fabra
  • Anders Jonsson Universitat Pompeu Fabra
  • Héctor Palacios Universitat Pompeu Fabra

DOI:

https://doi.org/10.1609/icaps.v25i1.13731

Keywords:

temporal planning, classical planning

Abstract

In this paper we describe two novel algorithms for temporal planning. The first algorithm, TP, is an adaptation of the TEMPO algorithm. It compiles each temporal action into two classical actions, corresponding to the start and end of the temporal action, but handles the temporal constraints on actions through a modification of the Fast Downward planning system. The second algorithm, TPSHE, is a pure compilation from temporal to classical planning for the case in which required concurrency only appears in the form of single hard envelopes. We describe novel classes of temporal planning instances for which TPSHE is provably sound and complete. Compiling a temporal instance into a classical one gives a lot of freedom in terms of the planner or heuristic used to solve the instance. In experiments TPSHE significantly outperforms all planners from the temporal track of the International Planning Competition.

Downloads

Published

2015-04-08

How to Cite

Jiménez, S., Jonsson, A., & Palacios, H. (2015). Temporal Planning With Required Concurrency Using Classical Planning. Proceedings of the International Conference on Automated Planning and Scheduling, 25(1), 129-137. https://doi.org/10.1609/icaps.v25i1.13731