Publications
-
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.
-
Artificial Intelligence: Engineering, Science Or Slogan?
This paper presents the view that artificial intelligence (AI) is primarily concerned with propositional languages for representing knowledge and with techniques for manipulating these representations.
-
Computational Strategies For Analyzing The Organization and Use Of Information
A program of research is presented that is producing systems that make it possible to study the organization and use of information and, at the same time, provide more effective…
-
Deductive Synthesis Of The Unification Algorithm
The task of deriving a unification algorithm automatically is beyond the power of existing program synthesis systems. We will identify some of the capabilities required of a theorem-proving system to…
-
Machine Learning for Information Management
The core idea is that of a compiler system that can hold a conversation with a user in English about his specific domain of interest, subsequently retrieve and display information…
-
Natural-Language Processing Part One: The Field In Perspective
The intent of the authors is to demonstrate that natural-language processing techniques are useful now, to reveal the richness of the computations performed by human natural-language communicators, and to explain…