Publications
-
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…
-
Recognizing Intended Meaning and Speakers’ Plans
This paper presents a new model for recognizing the speaker's intended meaning in determining a response.
-
A Simple Sensor to Gather Three-Dimensional Data
In this paper straightforward procedures are presented for calibrating a camera, computing the equation of a plane, and combining a camera calibration and an equation of a light plane to…