Publications
-
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.
-
Robot Planning, Execution, and Monitoring in an Uncertain Environment
An intelligent robot, operating in an external environment that cannot be fully modeled in the robot's software, must be able to monitor the success of its execution of a previously…
-
Reasoning by Analogy as an Aid to Heuristic Theorem Proving
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.
-
A Language for Writing Problem-Solving Programs
This paper describes a language for constructing problem-solving programs that can manipulate several data structures, including ordered and unordered sets.