Managing concurrency in temporal planning using planner-scheduler interaction Original Research Article

Metric temporal planning involves both selecting and organising actions to satisfy the goals and also assigning to each of these actions its start time and, where necessary, its duration. The assignment of start times to actions is a central concern of scheduling. In pddl2.1, the widely adopted planning domain description language standard, metric temporal planning problems are described using actions with durations. A large number of planners have been developed to handle this language, but the great majority of them are fundamentally limited in the class of temporal problems they can solve. In this paper, we review the source of this limitation and present an approach to metric temporal planning that is not so restricted. Our approach links planning and scheduling algorithms into a planner, Crikey, that can successfully tackle a wide range of temporal problems. We show how Crikey can be simplified to solve a wide and interesting subset of metric temporal problems, while remaining competitive with other temporal planners that are unable to handle required concurrency. We provide empirical data comparing the performance of this planner, image, our original version, Crikey, and a range of other modern temporal planners. Our contribution is to describe the first competitive planner capable of solving problems that require concurrent actions.