Publications
-
Possible-World Semantics For Autoepistemic Logic
This note presents an alternative, possible-world semantics for autoepistemic logic that enables us to construct finite models for autoepistemic theories, as well as to demonstrate the existence of sound and…
-
Evaluation Of Scene-Analysis Algorithms
A software evaluation methodology has been developed at SRI International for evaluating contributions to the ARPA/DMA Image Understanding Testbed. This paper describes the criteria that have shaped the evaluation methodology.
-
A Fast Surface Interpolation Technique
A method for interpolating a surface through 3-D data is presented. The method is computationally efficient and general enough to allow the construction of surfaces with either smooth or rough…
-
A Deduction Model Of Belief and Its Logics
This report is a slightly revised version of a thesis submitted to the Department of Computer Science at Stanford University in June 1984, in partial fulfillment of the requirements for…
-
The Role Of Logic In Artificial Intelligence
This paper surveys three possible applications of logic in AI: as an analytical tool, as a knowledge representation formalism, and as a programming language.
-
Belief and Incompleteness
Two artificially intelligent (AI) computer agents begin to play a game of chess, and the following conversation ensues: S1: Do you know the rules of chess? S2: Yes. S1: Then…
-
Reasoning About Control: An Evidential Approach
We present an alternative evidentially-based approach to reasoning about control that enables us to reason from limited and imperfect information; to partition bodies of meta- and domain-knowledge into modular components;…
-
An AI Approach to Information Fusion
-
Image-To-Image Correspondence: Linear-Structure Matching
We examine the task of matching images of a scene when they are taken from very different vantage points, when there is considerable scale change, and when the image orientations…
-
Sublanguage and Knowledge
The work described in this paper has been carried out as a part of a project to build a system for natural language access to a computerized medical textbook on…
-
Notes From The Unification Underground: A Compilation Of Papers On Unification-Based Grammar Formalisms
The current formalism being simultaneously designed, implemented and used by the group, PATR-II, is based on unification of directed-graph structures. Unification is thus a theme both of our research, and…
-
Evidence Against The Context-Freeness Of Natural Language
Soon after Chomsky’s categorization of languages into his well-known hierarchy, the common conception of the context-free class of languages as a tool for describing natural languages was that it was…