AAAI Publications, Thirty-First AAAI Conference on Artificial Intelligence

Font Size: 
Higher-Dimensional Potential Heuristics for Optimal Classical Planning
Florian Pommerening, Malte Helmert, Blai Bonet

Last modified: 2017-02-12

Abstract


Potential heuristics for state-space search are defined as weighted sums over simple state features. Atomic features consider the value of a single state variable in a factored state representation, while binary features consider joint assignments to two state variables. Previous work showed that the set of all admissible and consistent potential heuristics using atomic features can be characterized by a compact set of linear constraints. We generalize this result to binary features and prove a hardness result for features of higher dimension. Furthermore, we prove a tractability result based on the treewidth of a new graphical structure we call the context-dependency graph. Finally, we study the relationship of potential heuristics to transition cost partitioning. Experimental results show that binary potential heuristics are significantly more informative than the previously considered atomic ones.

Keywords


classical planning; cost-optimal planning; declarative heuristics; potential heuristics

Full Text: PDF