Artificial intelligence publications

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.

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,…

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.

This paper describes a language for constructing problem-solving programs that can manipulate several data structures, including ordered and unordered sets.

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.

Certain similarities between program verification and program synthesis are pointed out. The analogy is illustrated using a "bubble-sort" program.

In this note we shall sketch the outline of a simple information-processing model of operant behavior.

An elementary outline of the theorem-proving approach to automatic program synthesis is given, without dwelling on technical details.

This paper groups these problem-solving methods under three major headings: the State-Space Approach, the Problem-Reduction Approach, and the Formal-Logic Approach.

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.

This theory lies at the core of the system GeoLogica, which deduces answers to geographical questions based on knowledge provided by multiple agents.