Cost Optimal Planning with Multi-Valued Landmarks

Lei Zhang,Chong-Jun Wang,Jun-Yuan Xie
DOI: https://doi.org/10.3233/aic-140622
IF: 1.029
2015-01-01
AI Communications
Abstract:Landmark based heuristics are among the most accurate current known admissible heuristics for cost optimal planning. Disjunctive action landmarks can be considered as at-least-one constraints on the actions they contains. In many planning domains, there are many critical propositions which have to be established for a number of times. Previous landmarks fail to express this kind of general cardinality constraints. In this paper, we propose to generalize landmarks to multi-valued landmarks to model general cardinality constraints in cost optimal planning. We show existence of complete multi-valued landmark sets by explicitly constructing complete multi-valued action landmark sets for general planning tasks. However, it's computationally intractable to extract and exploit exact lower bounds of general multi-valued action landmarks. We devise a linear programming based multi-valued landmark heuristic hlpml which extracts and exploits multi-valued landmarks using a linear programming solver. The heuristic hlpml is guaranteed to be admissible and can be computed in polynomial time. Experimental evaluation on benchmark domains shows hlpml beats state-of-the-art admissible heuristic in terms of heuristic accuracy and achieves better overall coverage performance at the cost of using more CPU time.
What problem does this paper attempt to address?