Publications
-
Reimplementation of the Stanford Stereo System- Integration Experiments with the SRI Baseline Stereo System
We describe experiments in stereo matching using a Lisp Machine implementation of the Baker stereo system developed at Stanford University.
-
An Application Of Default Logic To Speech Act Theory
We present a limited solution to the problem of belief revision within Reiter’s nonmonotonic Default Logic and show how to formulate the consequences of many uses of declarative sentences.
-
An Integrated Framework For Semantic and Pragmatic Interpretation
We report on a mechanism for semantic and pragmatic interpretation that has been designed to take advantage of the generally compositional nature of semantic analysis, without unduly constraining the order…
-
Coordinating the Use of Qualitative and Quantitative Knowledge in Declarative Device Modeling
-
An Analysis of the Distinction Between Deep and Shallow Expert Systems
This paper analyzes the relationship between the techniques used to build expert systems and the behaviors they exhibit to show that there is not sufficient evidence to link the behavioral…
-
Automating Multisource Data Analysis
Over the past eight years, the Artificial Intelligence Center at SRI International has been developing new technology to address the problem of automated information management within real-world contexts. The result…
-
Discourse Structure and Performance Efficiency In Interactive and Noninteractive Spoken Modalities
The present study examined two speech modalities that represent opposites on the spectrum of speaker interaction — the telephone dialogue and audiotape monologue.
-
Tense, Aspect, and The Interpretation Of Tenseless Elements In English
An analysis of English tense and aspect is presented that specifies temporal precedence relations with a sentence. The relevant reference points for interpretation are taken to be the initial and…
-
The Contributing Influence Of Speech and Interaction On Human, Discourse Patterns
One goal of this chapter is to provide a comparison of the discourse and performance characteristics of instructions presented in three different modalities, each of which was classified according to…
-
P-PATR: A Compiler For Unification-Based Grammars
P-PATR is a compiler for unification-based grammars that is written in Quintus Prolog running on a Sun 2 workstation. PATR is a simple, unification-based formalism capable of encoding a wide…
-
Plans and Resource-Bounded Practical Reasoning
We present a high-level specification of the practical-reasoning component of an architecture for a resource-bounded rational agent.
-
A Prolog-Like Inference System For Computing Minimum-Cost Abductive Explanations In Natural-Language Interpretation
To facilitate the computation of minimum-cost explanations, the inference system, unlike others such as Prolog, is designed to avoid the repeated use of the same instance of an axiom or…