AAAI Publications, Twenty-Fourth International Conference on Automated Planning and Scheduling

Font Size: 
Diverse and Additive Cartesian Abstraction Heuristics
Jendrik Seipp, Malte Helmert

Last modified: 2014-05-11

Abstract


We have recently shown how counterexample-guided abstraction refinement can be used to derive informative Cartesian abstraction heuristics for optimal classical planning. In this work we introduce two methods for producing diverse sets of heuristics within this framework, one based on goal facts, the other based on landmarks. In order to sum the heuristic estimates admissibly we present a novel way of finding cost partitionings for explicitly represented abstraction heuristics. We show that the resulting heuristics outperform other state-of-the-art abstraction heuristics on many benchmark domains.

Keywords


optimal planning; abstraction heuristics; cost partitioning; CEGAR

Full Text: PDF