Publication Details

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
Feb 1970.

Note: SRI Project 7024. This research was supported by the Office of Naval Research, Washington, D.C., under Contract N0014-68-C-266.

Order an AIC Technical Note

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.

Electronic Copies

Adobe PDF

BibTeX

EndNote

AIC Personnel