Nils J. Nilsson, H.G. Barrow, L. Stephen Coles, G. Gleason, B. Meyer, & David Nitzan
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 for standardized equipment for robot research.
This paper describes a parsing system specifically designed for spoken rather than written input. The parser is part of a project in progress at Stanford Research Institute to develop a computer system for understanding speech.
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 of engaging a human operator in a natural conversation about a specific problem domain.
During the years 1971 and 1972, there has been a remarkable amount of activity and interest in automated language processing–so much so, that it is difficult to know precisely where to begin in order to convey the implications of this observation to the reader.
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, and Artificial Intelligence.
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.
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. Features of the language include built-in backtracking, parallel processing, pattern matching, and set manipulation.
