Publications
-
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…
-
Rex Programmer’s Manual
This manual describes Rex, a programming language for specifying machines by declaratively describing their behavior. The Rex language consists of a set of Lisp functions that define primitive Rex machines…
-
Integrated Split/Merge Image Segmentation
The KNIFE segmentation algorithm splits regions along object boundaries, thus avoiding rectangular quadtree artifacts and establishing a context for good statistical decisions.
-
Classification-Based Tracking Of Objects and Material
SRI’s KNIFE image analysis system can be used for tracking objects and material classes from one image to another.