Artificial intelligence publications
-
Study of Equipment Needs for Artificial Intelligence Research
This report describes interim results of a project to specify special equipment for research in Artificial Intelligence. After surveying several potential users it was decided that there was a need…
-
QA4: A Procedural Calculus For Intuitive Reasoning
This report presents a language, called QA4, designed to facilitate the construction of problem-solving systems used for robot planning, theorem proving, and automatic program synthesis and verification.
-
Bibliography on Computer Semantics
This bibliography and topical index lists more than 200 references, almost all published since 1965, in Computer Semantics: a growing research area that lies at the boundaries of Linguistics, Psychology,…
-
QA4 Language Applied to Robot Planning
This paper introduces the first implemented version of the problem solving language QA4 and illustrates the application of this language to some simple robot planning problems.
-
A Language for Writing Problem-Solving Programs
This paper describes a language for constructing problem-solving programs that can manipulate several data structures, including ordered and unordered sets.
-
Reasoning by Analogy as an Aid to Heuristic Theorem Proving
In the paper, the correspondence between a new unsolved problem and a previously solved analogous problem is computed and invoked to tailor large data bases to manageable sizes.
-
On Program Synthesis and Program Verification
Certain similarities between program verification and program synthesis are pointed out. The analogy is illustrated using a “bubble-sort” program.
-
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.
-
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.
-
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.
-
Pointing to Places in a Deductive Geospatial Theory
Issues in the description of places are discussed in the context of a logical geospatial theory.