Timelines Are Expressive Enough to Capture Action-Based Temporal Planning

Abstract

Planning problems are usually expressed by specifying which actions can be performed to obtain a given goal. In temporal planning problems, actions come with a time duration and can overlap in time, which noticeably increase the complexity of the reasoning process. Action-based temporal planning has been thoroughly studied from the complexity-theoretic point of view, and has been proved to be EXPSPACE-complete in its general formulation. Conversely, timeline-based planning problems are represented as a collection of variables whose time-varying behavior is governed by a set of temporal constraints, called synchronization rules. Timelines provide a unified framework to reason about planning and execution under uncertainty. Timeline-based systems are being successfully employed in real-world complex tasks, but, in contrast to action-based planning, little is known on their computational complexity and expressiveness. In particular, a comparison of the expressiveness of the action- and timeline-based formalisms is still missing. This paper contributes a first step in this direction by proving the EXPSPACE-completeness of timeline-based planning with no temporal horizon and bounded temporal relations only. The result is shown via a reduction from action-based temporal planning, thus proving that timelines are expressive enough to capture it.

Publication
23rd International Symposium on Temporal Representation and Reasoning,TIME 2016, Kongens Lyngby, Denmark, October 17-19, 2016

Related