I’ve written a new LISP TRACE package which supersedes the current TRACE package.
Publications
An Information-Processing Model of Operant Behavior
In this note we shall sketch the outline of a simple information-processing model of operant behavior.
Towards Automatic Program Synthesis
An elementary outline of the theorem-proving approach to automatic program synthesis is given, without dwelling on technical details.
Robot Problem Solving* Without State Variables
Waldinger has proposed a scheme for getting around the original robot problem by extending the logic to handle sets and tuples (still keeping an explicit state variable around).
Scene Analysis Using Regions
The method employed uses regions as basic data and progresses by successive partitioning of the picture toward an interpretable “goal partition”, which is then explored by a heuristic decision tree.
Resolution Graphs
This paper introduces a new notation, called “resolution graphs,” for deduction by resolution in first-order predicate calculus.
The Frame Problem in Problem-Solving Systems
The problem deals with the difficulty of creating and maintaining an appropriate informational context or “frame of reference” at each stage in certain problem-solving process.
Research on Automatic Program-Synthesis Systems
We mean to devise a natural way to define program-writing problems and describe programming languages, and then improve the known methods of program synthesis and investigate new ones.
A Survey of the Literature on Problem-Solving Methods 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.