Publications
-
Shakey The Robot
Our purpose here is to make this material more readily available by extracting and reprinting those sections of the reports that seem particularly interesting, relevant and important.
-
An AI Approach to the Integration of Information
This paper discusses the use of artificial intelligence techniques for integrating multi-source information in the process of assessing and understanding an ongoing situation.
-
Purification and Properties of iV-Acetylneuraminate Lyase from Escherichia coli
The enzyme could be used for the enzymatic determination of sialic acid; reaction conditions were devised for determining the bound form of sialic acid by coupling neuraminidase from Arthrobacter ureafaciens,…
-
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…
-
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…
-
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…
-
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…