We introduce transition-counting constraints as a principled tool to formalize constraints that must hold in every solution of a transition system. We show how to obtain transition landmark constraints from abstraction cuts. Transition landmarks dominate operator landmarks in theory but require solving a linear program that is prohibitively large in practice. We compare different approximations that replace transition-counting variables with more compact operator-counting variables. These are based on projections to operator landmarks and further relaxations. For one important special case, we show that the projection is lossless even for integer-valued variables. We finally discuss efficient data structures to derive cuts from abstractions and store them in a way that avoids repeated computation in every state. We compare the resulting heuristics and other heuristics both theoretically and on the IPC benchmarks.
Keywords: classical planning, operator counting, abstraction heuristics, landmarks
TL;DR: Transition-counting constraints are a principled tool to formalize constraints and can be used to express landmarks obtained from cuts in abstractions.
Abstract:
Category: Long
Student: No
Supplemtary Material: pdf
Submission Number: 265
Loading