skip to main content
article
Free Access

<u>Correction</u> to "A Formal Basis for the Heuristic Determination of Minimum Cost Paths"

Published:01 December 1972Publication History
Skip Abstract Section

Abstract

Our paper on the use of heuristic information in graph searching defined a path-finding algorithm, A*, and proved that it had two important properties. In the notation of the paper, we proved that if the heuristic function ñ (n) is a lower bound on the true minimal cost from node n to a goal node, then A* is <u>admissible;</u> i.e., it would find a minimal cost path if any path to a goal node existed. Further, we proved that if the heuristic function also satisfied something called the <u>consistency assumption,</u> then A* was <u>optimal;</u> i.e., it expanded no more nodes than any other admissible algorithm A no more informed than A*. These results were summarized in a book by one of us.

References

  1. [fr1] Nils J. Nilsson, Problem-Solving Methods in Artificial Intelligence, McGraw-Hill Book Co., New York, New York, 1971. Google ScholarGoogle ScholarDigital LibraryDigital Library

Recommendations

Comments

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Sign in

Full Access

  • Published in

    cover image ACM SIGART Bulletin
    ACM SIGART Bulletin Just Accepted
    December 1972
    3 pages
    ISSN:0163-5719
    DOI:10.1145/1056777
    Issue’s Table of Contents

    Copyright © 1972 Authors

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    • Published: 1 December 1972

    Check for updates

    Qualifiers

    • article

PDF Format

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader