Robert A. Yates, Bertram Raphael, & Timothy P. Hart
This paper introduces a new notation, called "resolution graphs," for deduction by resolution in first-order predicate calculus. A resolution graph consists of groups of nodes that represent initial clauses of a deduction and links that represent unifying substitutions.
This manual describes Rex, a programming language for specifying machines by declaratively describing their behavior. The Rex language consists of a set of Lisp functions that define primitive Rex machines and provides methods for building complex machines out of simpler components.
This report describes a new procedure for tracking road segments and finding potential vehicles in imagery of approximately 1 to 3 feet per pixel ground resolution.
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 generated plan.
Waldinger has proposed a scheme for getting around these problems by extending the logic to handle sets and tuples (still keeping an explicit state variable around).
Today’s robots possess "muscles" only; there is a need to develop intelligent robots that can detect faults and correct errors by using sensors and computer control.
There is a growing national need to increase the real productivity of our society, wherein "productivity" is defined to include such major factors as the quality of life of workers and the quality of products, consistent with the desires and expectations of the general public.
The method employed uses regions as basic data and progresses by successive partitioning of the picture toward an interpretable "goal partition", which is then explored by a heuristic decision tree.
In this paper a structural approach to modeling is argued for that explicitly relates image appearance to the scene characteristics from which it arose.
