Managing temporal cycles in planning problems requiring concurrency

Martin Cooper (1, 2, 3) , Frédéric Maris (2, 3) , Pierre Régnier (2, 3)

1 UT - Université de Toulouse
2 IRIT - Institut de recherche en informatique de Toulouse
3 IRIT-ADRIA - Argumentation, Décision, Raisonnement, Incertitude et Apprentissage

To correctly model certain real-world planning problems, it is essential to take into account time. This is the case for problems requiring the concurrent execution of actions (known as temporally expressive problems). In this paper, we define and study the notion of temporally cyclic problems, that is problems involving sets of cyclically dependent actions. We characterize those temporal planning languages, which can express temporally cyclic problems. We also present a polynomial-time algorithm, which transforms a temporally cyclic problem into an equivalent acyclic problem. Applying our transformation allows any temporal planner to solve temporally cyclic problems without explicitly managing cyclicity. We first present our results for temporal PDDL (Planning Domain Description Language) 2.1 and then extend them to a language that allows conditions over arbitrary intervals and effects at arbitrary instants.

Mots clés: Planning; Time; Temporally expressive problems; Temporally cyclic problems

Domaines: Intelligence artificielle [cs.AI]; Apprentissage [cs.LG]; Logique en informatique [cs.LO]; Informatique et langage [cs.CL]

Martin Cooper, Frédéric Maris, Pierre Régnier. Managing temporal cycles in planning problems requiring concurrency. Computational Intelligence, 2013, 29 (1), pp.111-128. ⟨10.1111/j.1467-8640.2012.00430.x⟩. ⟨hal-03521582⟩