A Survey of the Literature on Problem-Solving Methods in Artificial Intelligence

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.