Publications
-
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 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…
-
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…
-
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.
-
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.
-
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.
-
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.
-
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.
-
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…
-
Practical Natural-Language Processing by Computer
This paper describes the state of the art in practical computer systems for natural-language processing. We consider why one would want to use natural language to communicate with computers at…
-
The Database As Model: A Metatheoretic Approach
This paper presents a method of formally representing the information that is available to a user of a relational database. The intended application area is deductive question-answering systems that must…
-
An Inference Technique for Integrating Knowledge from Disparate Sources
This paper introduces a formal method for integrating knowledge derived from a variety of sources for use in "perceptual reasoning". The formalism is based on the "evidential propositional calculus"- a…