Author: SRI International
-
A Stochastic Approach To Stereo Vision
A stochastic optimization approach to stereo matching is presented. The approach provides a dense array of disparities, eliminating the need for interpolation.
-
Using Generic Geometric Knowledge To Delineate Cultural Objects In Aerial Imagery
We present a paradigm for discovering the outlines of arbitrarily complex cultural objects in aerial imagery.
-
AI Knowledge Bases and Databases
In which the author expresses general skepticism about proposals for a trouble free marriage of AI Knowledge Bases and Databases (narrowly and tendentiously construed.) The author argues, as well, against a shotgun wedding.
-
The California History-Social Sciences Framework: A Case Study In Implementation Process Analysis
-
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 of. This chapter presents an extremely partial and incomplete survey of some of the options.
-
A System For Reasoning In Dynamic Domains: Fault Diagnosis On The Space Shuttle
This report describes a reactive system for reasoning about and performing complex tasks in dynamic environments. A powerful and theoretically sound scheme for representing and reasoning about actions and processes has been devised.
-
Evidential Knowledge-Based Computer Vision
In this paper, we discuss some of the differences between the DS theory and some popular Bayesian-based approaches to effecting the reasoning task.
-
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.
-
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 defense community.
-
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 whole planning problem is to find actions that interact in such a way that the plan achieves its goal; in fact, it can be…
-
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 of what constitutes an acceptable explanation of a body of data is given, and the length of explanation used as a measure for selecting the…
-
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.