Symmetry-Based Task Reduction for Relaxed Reachability Analysis
Gabriele Röger, Silvan Sievers, Michael Katz · Proceedings of the International Conference on Automated Planning and Scheduling · 2018
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.