Publications
-
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…
-
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…
-
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.
-
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.
-
QA4 Language Applied to Robot Planning
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.
-
Some New Directions in Robot Problem Solving
In this paper we describe some of the possible extensions, illustrating the discussion where possible with examples taken from the current Stanford Research Institute robot system.
-
Robots, Productivity, and Quality
This paper proposed the development of automation technology designed to increase quality, in all its aspects, at an acceptable cost to society.
-
A Causality Representation for Enriched Robot Task Domains
In this report we consider other families of task, such as those involving the inhibition of an action or the maintenance of the current state of its environment.
-
Efficient Calculations on Points and Lines in the Euclidean Plane
This paper illustrates a method by which use of these functions may often be avoided, and presents explicit formulas for four basic calculations involving points and lines in two dimensions.
-
QA4 Programming Concepts
This note presents an informal introduction to the unusual programming concepts used in the construction of such problem-solving programs.