Publications
-
The Logical Foundations Of Evidential Reasoning
The approach proposed by Carnap for the development of logical bases for probability theory is investigated by using formal structures that are based on epistemic logics. Epistemic logics are modal…
-
Inferring Domain Plans In Question-Answering
The importance of plan inference in models of conversation has been widely noted in the com-putational-linguistics literature, and its incorporation in question-answering systems has enabled a range of cooperative behaviors.…
-
On The Imaging Of Fractal Surfaces
We examine the imaging of standard Brownian Fractal surfaces.
-
Automating Argument Construction
Over the past five years the Artificial Intelligence Center at SRI has been developing a new technology to address the problem of automated information management within real-world contexts. The result…
-
Epipolar-Plane Image Analysis: A Technique For Analyzing Motion Sequences
A technique for unifying spatial and temporal analysis of an image sequence taken by a camera moving in a straight line is presented. The technique is based on a "dense"…
-
Shading Into Texture
The fractal surface model provides a formalism that is competent to describe such natural 3-D surfaces and, in addition, is able to predict human perceptual judgments of smoothness versus roughness.
-
An Architecture For Intelligent Reactive Systems
Any intelligent system that operates in a moderately complex or unpredictable environment must be reactive — that is, it must respond dynamically to changes in its environment. A robot that…
-
An Algorithm For Generating Quantifier Scopings
The syntactic structure of a sentence often manifests quite clearly the predicate-argument structure and relations of grammatical subordination. But scope dependencies are not so transparent. As a result, many systems…
-
Stereo Integral Equation
A new approach to the formulation and solution of the problem of recovering scene topography from a stereo image pair is presented.
-
A Morphological Recognizer With Syntactic and Phonological Rules
This paper describes a morphological analyzer which, when parsing a word, uses two sets of rules: describing the syntax of words, and rules describing facts about orthography.
-
Commonsense Metaphysics and Lexical Semantics
In the TACITUS project for using commonsense knowledge in the understanding of texts about mechanical devices and their failures, we have been developing various commonsense theories that are needed to…
-
A Model Of Plan Inference That Distinguishes Between The Beliefs of Actors and Observers
I describe a model of PI that rests on an analysis of plans as mental phenomena. I show that the content of an appropriate response to a query is affected…