Symmetry-Based Task Reduction for Relaxed Reachability Analysis
DOI:
https://doi.org/10.1609/icaps.v28i1.13904Keywords:
classical planning, structural symmetries, PDDL, relaxed reachability, task reformulationAbstract
Relaxed reachability analysis is relevant to efficient grounding, invariant synthesis as well as the computation of relaxation-based heuristics. Planning domains are typically specified in a lifted representation, where the size of the tasks grows exponentially with the number of objects in the world. This growth also affects the analysis of relaxed reachability. We present a task reduction based on symmetries of the lifted representation that allows to perform the same analysis on smaller tasks.
Downloads
Published
2018-06-15
How to Cite
Röger, G., Sievers, S., & Katz, M. (2018). Symmetry-Based Task Reduction for Relaxed Reachability Analysis. Proceedings of the International Conference on Automated Planning and Scheduling, 28(1), 208-217. https://doi.org/10.1609/icaps.v28i1.13904
Issue
Section
Main Track