A Formal Basis for the Heuristic Determination of Minimum Cost Paths
A Formal Basis for the Heuristic Determination of Minimum Cost Paths
P. Hart,N. Nilsson,B. Raphael
1968 · DOI: 10.1109/TSSC.1968.300136
IEEE Transactions on Systems Science and Cybernetics · 13,103 Citations
TLDR
How heuristic information from the problem domain can be incorporated into a formal mathematical theory of graph searching is described and an optimality property of a class of search strategies is demonstrated.