skip to main content
article
Free Access

AND/OR graph heuristic search methods

Authors Info & Claims
Published:01 January 1985Publication History
Skip Abstract Section

Abstract

Two new marking algorithms for AND/OR graphs called CF and CS are presented. For admissible heuristics CS is not needed, and CF is shown to be preferable to the marking algorithms of Martelli and Montanari. When the heuristic is not admissible, the analysis is carried out with the help of the notion of the first and second discriminants of an AND/OR graph. It is proved that in this case CF can be followed by CS to get optimal solutions, provided the sumcost criterion is used and the first discriminant equals the second. Estimates of time and storage requirements are given. Other cost measures, such as maxcost, are also considered, and a number of interesting open problems are enumerated.

References

  1. 1 BAGCHI, A., AND MAHANTI, A.Search algorithms under different kinds of heuristics--A comparative study. J. ACM 30, 1 (Jan. 1983), 1-21. Google ScholarGoogle Scholar
  2. 2 BAGCHI, A., AND MAHANTI, A.Admissible heuristic search in AND/OR graphs. Theor. Comput. Sci. 24, 2 (July 1983), 207-219.Google ScholarGoogle Scholar
  3. 3 BAGCHI, A., AND MAHANTI, A.Three approaches to heuristic search in networks. J. ACM 32, 1 (Jan. 1985), 1-27. Google ScholarGoogle Scholar
  4. 4 CHANG, C. L., AND SLAGLE, J. R. An admissible and optimal algorithm for searching AND/OR graphs. Artif Intell. 2 (1971), 117-128.Google ScholarGoogle Scholar
  5. 5 HOROWITZ, E., AND SAHNi, S.Fundamentals of Computer Algorithms. Computer Science Press, Woodland Hills, Calif., 1978. Google ScholarGoogle Scholar
  6. 6 MARTELLI, A., AND MONTANARI, O.Additive AND/OR Graphs. In Proceedings of the 3rd International Joint Conference on Artificial Intelligence (Stanford, Calif., Aug. 1973), pp. 1-11.Google ScholarGoogle Scholar
  7. 7 MARTELLI, A., AND MONTANARi, U.Optimizing decision trees through heuristically guided search. Commun. ACM, 12, 12 (Dec. 1978), 1025-1039 Google ScholarGoogle Scholar
  8. 8 NILSSON, N. J.Problem Solving Methods in Artificial intelligence. McGraw-Hill, New York, 1971. Google ScholarGoogle Scholar
  9. 9 NILSSON, N. J.Principles of Artificial Intelligence. Tioga, Palo Alto, Calif., 1980. Google ScholarGoogle Scholar

Index Terms

  1. AND/OR graph heuristic search methods

        Recommendations

        Reviews

        Gary Carlson

        Two new marking algorithms are described. They appear to be better than the ones of Martelli and Montanari [1,2]. To understand this paper it is necessary to know something about directed graphs. This very specific technical paper is not useful to the computer generalist. AND/OR graphs can be seen as a generalization of directed graphs and therefore should be more powerful. This paper does not cover graphs with loops. Overall, the paper is well done, but very narrow in scope. Some statements are not very clear. For example, the authors state, on p. 31, …“a non-terminal leaf node always has an infinite heuristic estimate…”It is not clear why this statement is made, nor its significance. The theorems and proofs seem consistent and correct.

        Access critical reviews of Computing literature here

        Become a reviewer for Computing Reviews.

        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 Journal of the ACM
          Journal of the ACM  Volume 32, Issue 1
          Jan. 1985
          246 pages
          ISSN:0004-5411
          EISSN:1557-735X
          DOI:10.1145/2455
          Issue’s Table of Contents

          Copyright © 1985 ACM

          Publisher

          Association for Computing Machinery

          New York, NY, United States

          Publication History

          • Published: 1 January 1985
          Published in jacm Volume 32, Issue 1

          Permissions

          Request permissions about this article.

          Request Permissions

          Check for updates

          Qualifiers

          • article

        PDF Format

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader