125,340 research outputs found
Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground
In this paper, we address complexity issues for timeline-based planning over
dense temporal domains. The planning problem is modeled by means of a set of
independent, but interacting, components, each one represented by a number of
state variables, whose behavior over time (timelines) is governed by a set of
temporal constraints (synchronization rules). While the temporal domain is
usually assumed to be discrete, here we consider the dense case. Dense
timeline-based planning has been recently shown to be undecidable in the
general case; decidability (NP-completeness) can be recovered by restricting to
purely existential synchronization rules (trigger-less rules). In this paper,
we investigate the unexplored area of intermediate cases in between these two
extremes. We first show that decidability and non-primitive recursive-hardness
can be proved by admitting synchronization rules with a trigger, but forcing
them to suitably check constraints only in the future with respect to the
trigger (future simple rules). More "tractable" results can be obtained by
additionally constraining the form of intervals in future simple rules:
EXPSPACE-completeness is guaranteed by avoiding singular intervals,
PSPACE-completeness by admitting only intervals of the forms [0,a] and
[b,[.Comment: In Proceedings GandALF 2018, arXiv:1809.0241
Undecidability of future timeline-based planning over dense temporal domains
The present work focuses on timeline-based planning over dense temporal domains. In automated planning, the temporal domain is commonly assumed to be discrete, the dense case being dealt with by resorting to some form of discretization. In the last years, the planning problem over dense temporal domains has been finally addressed both in the timeline-based setting and, very recently, in the action-based one. Dense timeline-based planning, in its full generality, has been shown to be undecidable. Decidability has been recovered by imposing suitable syntactic and/or semantic restrictions (the complexity of decidable fragments varies a lot, spanning from non-primitive recursive hardness to NP-completeness, passing through EXPSPACE- and PSPACE-completeness). In this paper, we proved that restricting to the future fragment is not enough to get decidability
- …