AWhat changed
Heuristic search gained a systematic method for minimum-cost paths under stated conditions.
Scientific scope
The 1968 paper read with its 1972 correction; later planning systems and invalid unqualified optimality language are excluded.
Evidence
The linked sources identify this contribution and its scope. WRS has not independently reconstructed the scientific claims. The 1968 paper’s stronger optimality claim was corrected in 1972. This entry retains the admissibility/minimum-cost contribution without repeating the unqualified original theorem.
Contributors
- Peter E. Hart · SCIENCE: Named source author of the scoped work; individual effort shares are not measured.
- Nils J. Nilsson · SCIENCE: Named source author of the scoped work; individual effort shares are not measured.
- Bertram Raphael · SCIENCE: Named source author of the scoped work; individual effort shares are not measured.
- Hart, Nilsson and Raphael, A Formal Basis for the Heuristic Determination of Minimum Cost Paths
- Hart, Nilsson and Raphael: correction to the 1968 minimum-cost paths paper
- Nils J. Nilsson publication archive
Provisional WRS assessment, edition 2026-10-16.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.
Full scientific record · Browse contribution grades · Request a correction