Publications
-
Reasoning About Programs
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…
-
Object Recognition in Multisensory Scene Analysis
A perception strategy for recognizing an object on the basis of color and range data is illustrated by finding a desk in an office scene.
-
Equipment for Artificial Intelligence Research
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…
-
Preliminary QLISP Manual
A preliminary version of QLISP is described. QLISP permits free intermingling of QA4-like constructs with INTERLISP code. The preliminary version contains features similar to those of QA4 except for the…
-
Artificial Intelligence
This paper describes current progress in Artificial Intelligence (AI) with emphasis is given to describing it as an independent field of study having both applied-technological and scientific-theoretical branches.
-
Pajaro Dunes Workshop on Automatic Problem Solving
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.
-
Parser for a Speech Understanding System
This paper describes a parsing system specifically designed for spoken rather than written input. The parser is part of a project to develop a computer system for understanding speech.
-
Planning in a Hierarchy of Abstraction Spaces
The problem solver ABSTRIPS, a modification of STRIPS, can define an abstraction of space hierarchy from the STRIPS representation of a problem domain, and it can utilize the hierarchy in…
-
Speech Understanding Through Syntactic and Semantic Analysis
Stanford Research Institute is participating in a major program of research on the analysis of continuous speech by computer. The goal is the development of a speech understanding system capable…
-
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…
-
Hierarchical Robot Planning and Execution System
This report describes a robot control program consisting of a hierarchically organized plan generation and execution system written in QA4 and making use of several features of that language.
-
Automated Language Processing
The major development area involves work on question-answering systems, now coming to be called "computer understanding." The change in terminology indicates an enrichment and elaboration of the components of such…