Journal of Computer Science and Technology

, Volume 3, Issue 4, pp 289–305 | Cite as

Forward-backward search method

  • Zhou Guodong 
  • Ye Ganlin 
Regular Papers


In order to simulate the process of man’s “thinking forward and backward”, this paper describes a new search method-forward-backward search. The relationship between this search method and two others, namely, statespace search and problem-reduction search, is also discussed. Some examples of using forward-backward search are given, from which the characteristics and efficiency of this method can be seen.


Search Method Reasoning Rule Winning State Geometry Theorem Expand Operation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    A. Bundy, AI: An Introductory Course, Edinburgh University Press, 1978.Google Scholar
  2. [2]
    N.J. Nilsson, Problem-Solving Methods in Artificial Intelligence. New York: McGraw-Hill. 1971.Google Scholar
  3. [3]
    N.J. Nilsson, Principles of Artificial Intelligence, Palo Alto, Calif. Tioga 1980.Google Scholar
  4. [4]
    P.H. Winston and B.K.P. Horn, LISP. Addison-Wesley 1981.Google Scholar
  5. [5]
    M. Gardner, Graphs that can help cannibals, missionaries, wolves, goats and cabbages get there from here,Scientific American,242:3(1980).Google Scholar
  6. [6]
    J.H. Conway, On Numbers and Games, Academic Press, 1976.Google Scholar
  7. [7]
    Zhou Guodong and Ye Canlin, Going forward-retreating search method, CAAI-2, 1981,Journal of AI (China), 3(1982).Google Scholar
  8. [8]
    Zhou Guodong and Ye Ganlin, Proving Geometry Theorems Using Going Forward-Retreating Search Method, The First Conference on AI, Held by AI Group of CCA. 1982, 4.Google Scholar

Copyright information

© Science Press, Beijing China and Allerton Press Inc. 1988

Authors and Affiliations

  • Zhou Guodong 
    • 1
  • Ye Ganlin 
    • 2
  1. 1.Northwest UniversityXi’an
  2. 2.Computing Technique Research InstituteChina Aeronautical EstablishmentXi’an

Personalised recommendations