REF-ARF: A System for Solving Problems Stated as Procedures
by Fikes, Richard E.
Technical Note 14
Institution: AI Center, SRI International
Address: 333 Ravenswood Ave, Menlo Park, CA 94025
Note: Submitted for publication in the AI Journal
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).
|Fikes, Richard E.||Professor, Stanford Univ.|