Publications
-
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…
-
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,…
-
Stereopsis Error Analysis
The error due to image quantization in stereoscopically evaluated range is analyzed, using a simple camera model and assuming that the image planes of the two cameras are coplanar.