Temporal Planning with Temporal Metric Trajectory Constraints

Authors

  • Andrea Micheli Fondazione Bruno Kessler
  • Enrico Scala Fondazione Bruno Kessler

DOI:

https://doi.org/10.1609/aaai.v33i01.33017675

Abstract

In several industrial applications of planning, complex temporal metric trajectory constraints are needed to adequately model the problem at hand. For example, in production plants, items must be processed following a “recipe” of steps subject to precise timing constraints. Modeling such domains is very challenging in existing action-based languages due to the lack of sufficiently expressive trajectory constraints.

We propose a novel temporal planning formalism allowing quantified temporal constraints over execution timing of action instances. We build on top of instantaneous actions borrowed from classical planning and add expressive temporal constructs. The paper details the semantics of our new formalism and presents a solving technique grounded in classical, heuristic forward search planning. Our experiments prove the proposed framework superior to alternative state-of-theart planning approaches on industrial benchmarks, and competitive with similar solving methods on well known benchmarks took from the planning competition.

Downloads

Published

2019-07-17

How to Cite

Micheli, A., & Scala, E. (2019). Temporal Planning with Temporal Metric Trajectory Constraints. Proceedings of the AAAI Conference on Artificial Intelligence, 33(01), 7675-7682. https://doi.org/10.1609/aaai.v33i01.33017675

Issue

Section

AAAI Technical Track: Planning, Routing, and Scheduling