Artificial intelligence publications

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.

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

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.

Issues in the description of places are discussed in the context of a logical geospatial theory.

In this paper, we present a knowledge-based question-answering system that we developed as part of a broader effort by Vulcan Inc. to assess KR&R technologies, and the result of its…

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

This report summaries the results of a three-year project aimed at the design and implementation of computer languages to aid in expressing problem solving procedures in several areas of artificial…