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…
-
Morphology With Two-Level Rules and Negative Rule Features
This paper describes how to use phonological rules instead of transition tables, and describes a more elegant way of expressing phonological irregularity than with arbitrary diacritics, making use of the…
-
Generation and Recognition Of Inflectional Morphology
Koskenniemi’s two-level morphological analysis system can be improved upon by using a PATR-like unification grammar for handling the morphosyntax instead of continuation classes, and by incorporating the notion of negative…
-
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.
-
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.
-
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…
-
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…
-
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…