Publications
-
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.
-
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.
-
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…
-
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.
-
A Paradigm for Reasoning by Analogy
A paradigm enabling heuristic problem solving programs to exploit an analogy between a current unsolved problem and a similar but previously solved problem to simplify its search for a solution…
-
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.
-
ISUPPOSEW – A Computer Program That Finds Regions in the Plan Model of a Visual Scene
ISUPPOSEW is designed t o enable a robot to make conjectures, on the basis of its visual information, about elements of its environment that it cannot see.
-
The Application of Theorem Proving to Information Retrieval
We will describe an approach to combining and extending question-answering techniques to large data files using a compilation of widely used physical laws and effects of interest to both engineers…