Publications
-
Evidential Reasoning: A Developing Concept
Here we present our current understanding of this problem and some partial solutions. We conclude that evidential reasoning requires both a method for pooling multiple bodies of evidence to arrive…
-
A Nonclausal Connection-Graph Resolution Theorem-Proving Program
A new theorem-proving program, combining the use of nonclausal resolution and connection graphs, is described. The use of nonclausal resolution as the inference system eliminates some of the redundancy and…
-
Modeling and Using Physical Constraints In Scene Analysis
This paper describes the results obtained in a research program ultimately concerned with deriving a physical sketch of a scene from one or more images. Our approach involves modeling physically…
-
The Byzantine Generals Problem
Reliable computer systems must handle malfunctioning components that give conflicting information to different parts of the system. This situation can be expressed abstractly in terms of a group of generals…
-
A View Of The Fifth Generation and Its Impact
In October 1981, Japan announced a national project to develop highly innovative computer systems for the 1990s, with the title "Fifth Generation Computer Systems".
-
The Role Of Logic In Knowledge Representation and Commonsense Reasoning
We argue that there is an important set of issues, involving incomplete knowledge of a problem situation, that so far have been addressed only by systems based on formal logic…
-
Planning Natural-Language Utterances To Satisfy Multiple Goals
This dissertation presents the results of research on a planning formalism for a theory of natural-language generation that will support the generation of utterances that satisfy multiple goals.
-
Computational Stereo
We broadly define computational stereo as the recovery of the three-dimensional characteristics of a scene from multiple images taken from different points of view.
-
Parallelism in Planning and Problem Solving: Reasoning About Resources
This paper describes and presents some new techniques that are implemented in an actual planning system and are useful in seeking solutions to these problems.
-
A Probabilistic Model For Uncertain Problem Solving
The model presented is a probabilistic generalization of the familiar notion of problem space. The specification of uncertain states and unreliable operators is discussed.
-
Computer-Assisted Analysis of Tomographic Images of the Brain
A computer system for the analysis of computed tomography and positron emission tomography scans of the brain is described.
-
Research On Natural-Language Processing At SRI
Two of our major current efforts are a pair of research projects under the sponsorship of the Defense Advanced Research Projects Agency: the TEAM and KLAUS projects. These two projects…