Publications
A Survey of the Literature on Problem-Solving Methods in Artificial Intelligence
Feb, 1970
Journal
SRIPublication
Abstract
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.
Focus Areas:
Computing
Divisions:
Information + Computing Sciences
Centers + Labs:
Artificial Intelligence Center 
