Artificial intelligence publications

The Artificial Intelligence Center of SRI has digitized and processed a series of breast thermograms of positive patients. To improve the medical value of such imagery for the radiologist, several…

This report describes the goals and plans for a five-year project to develop a computer-based system that will serve as an expert consultant to a human apprentice. Together, the system…

Our research program concentrates especially on the development of systems that can automatically generate and execute complex plans and that can obtain information about their environment through the sense of…

This paper describes a theorem prover that embodies knowledge about programming constructs, such as numbers, arrays, lists, and expressions. The program can reason about these concepts and is used as…

We have identified in broad outline an equipment configuration that we feel will be highly flexible and useful for research. SRI proposes a two-year program to design, fabricate, and test…

This report describes the talks and discussions occurring at an informal Workshop on Automatic Problem Solving held at Pajaro Dunes, CA, on May 14-16, 1973.

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…

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.