Publications
-
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…
-
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…
-
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,…
-
Fractal-Based Description Of Natural Scenes
This paper addresses the problems of: representing natural shapes such as mountains, trees, and clouds, and computing their description from image data.
-
A Prolog Technology Theorem Prover
An extension of Prolog, based on the model elimination theorem-proving procedure, would permit production of a logically complete Prolog technology theorem prover capable of performing inference operations at a rate…
-
Probabilistic Logic
The method described in the present paper combines logic with probability theory in such a way that probabilistic logical entailment reduces to ordinary logical entailment when the probabilities of all…