Publications
-
Fractal-Based Description Of Natural Scenes
This paper addresses the problems of: representing natural shapes such as mountains, trees, and clouds, and computing their description from image data.
-
A Prolog Technology Theorem Prover
An extension of Prolog, based on the model elimination theorem-proving procedure, would permit production of a logically complete Prolog technology theorem prover capable of performing inference operations at a rate…
-
Probabilistic Logic
The method described in the present paper combines logic with probability theory in such a way that probabilistic logical entailment reduces to ordinary logical entailment when the probabilities of all…
-
Artificial Intelligence, Employment, and Income
Some claim that AI is not really very different from other technologies that have supported automation and increased productivity–technologies such as mechanical engineering, electronics, control engineering, and operations research.
-
A Formal Theory Of Knowledge and Action
Most work on planning and problem solving within the field of artificial intelligence assumes that the agent has complete knowledge of all relevant aspects of the problem domain and problem…
-
Choosing A Basis For Perceptual Space
If it is possible to interpret an image as a projection of rectangular forms, there is a strong tendency for people to do so. In effect, a mathematical basis for…
-
The DARPA / DMA Image Understanding Testbed Programmer’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…
-
Some Remarks on the Semantics of Representation Languages
It has been said many times that semantic nets are mere notational variants of predicate calculus. But before we lay down our nets, we ought at least to be clear…
-
Computer-Assisted Three-Dimensional and Two-Dimensional Reconstructions of Autoradiographic Images of the Cerebral Cortex
This report describes a computer system that generates reconstructions of film autoradiographs of the cerebral cortex.
-
The SRI Artificial Intelligence Center: A Brief History
A group that ultimately grew into a major world center of artificial intelligence research, a center that has endured twenty-five years of boom and bust in fashion, has "graduated" over…
-
Evidential Reasoning: An Implementation For Multisensor Integration
Perceptual information is not readily captured in terms of simple truths and falsities or in terms of probabilistic estimates, when the appropriate statistical data are lacking.
-
Transportability and Generality In A Natural-Language Interface System
This paper describes the design of a transportable natural language (NL) interface to databases and the constraints that transportability places on each components of such a system.