Publications
-
Recognizing Objects In A Natural Environment: A Contextual Vision (CVS)
We identify a number of weaknesses in current recognition systems and propose specific mechanisms for dealing with some of these problems.
-
Parsing and Type Inference For Natural and Computer Languages
We provide a method for abstractly and uniformly characterizing a class of formalisms based on logical constraints, and use the uniformity to define and prove correct a parsing algorithm that…
-
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.
-
The Vision Problem: Exploiting Parallel Computation
This technical report consists of papers presented at the session wherein the major problems in computer vision are outlined, and the "signals to symbols"and the "monolithic computing" (MC) approaches to…
-
Cl-Patr Reference Manual
The PATR-II grammar formalism has been developed over the last few years at SRI International as a grammar formalism for codifying fragments of natural language.
-
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 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…
-
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…