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 in BibTeX Format

@TECHREPORT{AICPub1456:1969, AUTHOR={Fikes, Richard E.}, TITLE={REF-ARF: A System for Solving Problems Stated as Procedures}, ADDRESS={333 Ravenswood Ave, Menlo Park, CA 94025}, INSTITUTION={AI Center, SRI International}, MONTH={Sept}, NUMBER={14}, YEAR={1969}, KEYWORDS={Problem Solving}, ABSTRACT={We wish to describe here our efforts to pursue the development of computer programs capable of displaying intelligent problem-solving behavior. Our pursuit has proceeded in an experimental mode in that we have written and debugged a program which embodies our ideas and have used our experience with the program to motivate and develop new ideas. This paper is both a description of the program and a discussion of those ideas and issues from the project which seem important to us at the time. If we are given a particular problem to solve, then the value of a problem-solving program to us is related to the ease with which we can state the problem to the program and the effectiveness of the program for finding a solution. We will begin by considering the generality of our problem solver’s input language (which we call REF), and then proceed to a discussion of the methods contained in the problem-solving program (which we call ARF). }, NOTE={Submitted for publication in the AI Journal} }

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