Publications
-
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…
-
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;…
-
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…
-
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…
-
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…
-
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…
-
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…
-
Shakey The Robot
Our purpose here is to make this material more readily available by extracting and reprinting those sections of the reports that seem particularly interesting, relevant and important.
-
An AI Approach to the Integration of Information
This paper discusses the use of artificial intelligence techniques for integrating multi-source information in the process of assessing and understanding an ongoing situation.
-
Purification and Properties of iV-Acetylneuraminate Lyase from Escherichia coli
The enzyme could be used for the enzymatic determination of sialic acid; reaction conditions were devised for determining the bound form of sialic acid by coupling neuraminidase from Arthrobacter ureafaciens,…