Merge and Shrink Abstractions for Temporal Planning

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

60 Downloads (Pure)

Abstract

Temporal planning is a hard problem that requires good heuristic and memoization strategies to solve efficiently. Merge-and-shrink abstractions have been shown to serve as effective heuristics for classical planning, but they have not yet been applied to temporal planning. Currently, it is still unclear how to implement merge-and-shrink in the temporal domain and how effective the method is in this setting. In this paper we propose a method to compute merge-and-shrink abstractions for temporal planning, applicable to both partial- and total-order temporal planners. The method relies on precomputing heuristics as formulas of temporal variables that are evaluated at search time, and it allows to use standard shrinking strategies and label reduction. Compared to state-of-the-art Relaxed Planning Graph heuristics, we show that the method leads to improvements in coverage, computation time, and number of explored nodes to solve optimal problems, as well as leading to improvements in unsolvability-proving of problems with deadlines.
Original languageEnglish
Title of host publicationInternational Conference on Automated Planning and Scheduling (ICAPS)
Publication statusAccepted/In press - 2022

Fingerprint

Dive into the research topics of 'Merge and Shrink Abstractions for Temporal Planning'. Together they form a unique fingerprint.

Cite this