Goal-Oriented Euclidean Heuristics with Manifold Learning

Recently, a Euclidean heuristic (EH) has been proposed for A* search. EH exploits manifold learning methods to construct an embedding of the state space graph, and derives an admissible heuristic distance between two states from the Euclidean distance between their respective embedded points. EH has shown good performance and memory efficiency in comparison to other existing heuristics such as differential heuristics. However, its potential has not been fully explored. In this paper, we propose a number of techniques that can significantly improve the quality of EH. We propose a goal-oriented manifold learning scheme that optimizes the Euclidean distance to goals in the embedding while maintaining admissibility and consistency. We also propose a state heuristic enhancement technique to reduce the gap between heuristic and true distances. The enhanced heuristic is admissible but no longer consistent. We then employ a modified search algorithm, known as B′ algorithm, that achieves optimality with inconsistent heuristics using consistency check and propagation. We demonstrate the effectiveness of the above techniques and report un-matched reduction in search costs across several non-trivial benchmark search problems.

[1]  Peter Sanders,et al.  Contraction Hierarchies: Faster and Simpler Hierarchical Routing in Road Networks , 2008, WEA.

[2]  G. G. Stokes "J." , 1890, The New Yale Book of Quotations.

[3]  Yixin Chen,et al.  Completeness and Optimality Preserving Reduction for Planning , 2009, IJCAI.

[4]  Nathan R. Sturtevant,et al.  Memory-Efficient Abstractions for Pathfinding , 2007, AIIDE.

[5]  Stuart J. Russell,et al.  Bounded Intention Planning , 2011, IJCAI.

[6]  Stephen P. Boyd,et al.  Convex Optimization , 2004, Algorithms and Theory of Computation Handbook.

[7]  Nathan R. Sturtevant,et al.  Euclidean Heuristic Optimization , 2011, AAAI.

[8]  M. Tim Jones Artificial Intelligence: A Systems Approach , 2007 .

[9]  Nathan R. Sturtevant,et al.  Inconsistent Heuristics , 2007, AAAI.

[10]  B. Schölkopf,et al.  Graph Laplacian Regularization for Large-Scale Semidefinite Programming , 2007 .

[11]  Kilian Q. Weinberger,et al.  Unsupervised Learning of Image Manifolds by Semidefinite Programming , 2004, CVPR.

[12]  László Méro,et al.  A Heuristic Search Algorithm with Modifiable Estimate , 1984, Artif. Intell..

[13]  Malte Helmert,et al.  A Stubborn Set Algorithm for Optimal Planning , 2012, ECAI.

[14]  Dana S. Nau,et al.  On the Complexity of Blocks-World Planning , 1992, Artif. Intell..

[15]  Yixin Chen,et al.  Maximum Variance Correction with Application to A* Search , 2013, ICML.

[16]  Tim Jones Artificial Intelligence: A Systems Approach with CD , 2008 .

[17]  Malte Helmert,et al.  About Partial Order Reduction in Planning and Computer Aided Verification , 2012, ICAPS.

[18]  Malte Helmert,et al.  How Good is Almost Perfect? , 2008, AAAI.

[19]  J. Tenenbaum,et al.  A global geometric framework for nonlinear dimensionality reduction. , 2000, Science.

[20]  B. Borchers CSDP, A C library for semidefinite programming , 1999 .

[21]  Kilian Q. Weinberger,et al.  Nonlinear Dimensionality Reduction by Semidefinite Programming and Kernel Matrix Factorization , 2005, AISTATS.

[22]  Hui Zhang,et al.  Predicting Internet network distance with coordinates-based approaches , 2002, Proceedings.Twenty-First Annual Joint Conference of the IEEE Computer and Communications Societies.

[23]  Nathan R. Sturtevant,et al.  Memory-Based Heuristics for Explicit State Spaces , 2009, IJCAI.