A Survey of the Literature on Problem-Solving Methods in Artificial Intelligence
by Nilsson, Nils J.
Technical Note 21
Institution: AI Center, SRI International
Address: 333 Ravenswood Ave, Menlo Park, CA 94025
Note: SRI Project 7024. This research was supported by the Office of Naval Research, Washington, D.C., under Contract N0014-68-C-266.
Problem-solving methods using some sort of heuristically guided search process have been the subject of much research in Artificial Intelligence. This paper groups these problem-solving methods under three major headings: the State-Space Approach, the Problem-Reduction Approach, and the Formal-Logic Approach. Using this framework, a survey is presented of most of the important articles and books dealing with problem solving, game playing, and automatic theorem proving. The bibliography contains over 150 references.
|Nilsson, Nils J||Alumnus|