Publications
-
Notes on Inference: A Somewhat Skewed Survey
It is widely agreed that any reasonable AI system has to reason. Once it is agreed why that must be so, one can go on to look at alternative conceptions of what reasoning consist…
-
Synchronization Of Multiagent Plans Using A Temporal Logic Theorem Prover
Following an approach suggested by Georgeff, this paper considers the use of synchronizing primitives to resolve conflicts and produce a plan that is as unrestrictive as possible. In a sense,…
-
The DARPA / DMA Image Understanding Testbed System Manager’s Manual
The primary purpose of the Image Understanding (IU) Testbed is to provide a means for transferring technology from the DARPA-sponsored IU research program to DMA and other organizations in the…
-
Hierarchical Planning: Definition and Implementation
There is considerable ambiguity involved in hierarchical planning. We present a definition of the latter, and examine several of the reasons for this confusion.
-
A General Selection Criterion For Inductive Inference
This paper presents a general criterion for measuring the degree to which any given theory can be considered a good explanation of a particular body of data. A formal definition…
-
Behavioral Specification and Planning for Multiagent Domains
This report discusses a new approach to the specification of properties of multiagent environment and the generation of plans for such domains.
-
Experimental Robot Psychology
Here I propose an approach that I call it experimental robot psychology because it involves formalizing and reasoning about the design of existing robot agents. It shows promise of yielding…
-
One-Eyed Stereo: A Unified Strategy To Recover Shape From A Single Image
In this paper we contend that the distinct assumptions made in each of these schemes must be tantamount to providing a second (virtual) image of the original scene, and that…
-
The Structures Of Discourse Structure
This paper presents the basic elements of a computational theory of discourse structure that simplifies and expands upon previous work. It is concerned with answers to two rather simple questions:…
-
Constraints On Order
A modified linear precedence (LP) component of Generalized Phrase Structure Grammar (GPSG) is proposed that accommodates partially free word order. In the revised framework, LP rules are sets of LP…
-
Evaluation Of Stereosys Vs. Other Stereo Systems
SRI International is implementing a complete, state-of the-art stereo system that will produce dense three-dimensional (3D) data from stereo pairs of intensity images. This system forms a framework for much…
-
The Stereo Challenge Data Base
As previously reported in Fischler [1984] and Hannah [1984], SRI International is implementing a complete, state-of-the-art stereo system that will produce dense three-dimensional (3-D) data from stereo pairs of intensity…