Search |  Contact |  SRI Home Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap.A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A ASRI International.  333 Ravenswood Avenue.  Menlo Park, CA 94025-3493. SRI International is a nonprofit corporation.

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

Name Title E-mail
Nilsson, Nils J Alumnus

SRI International
©2014 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy