Artificial intelligence publications
-
Computer-Assisted Three-Dimensional and Two-Dimensional Reconstructions of Autoradiographic Images of the Cerebral Cortex
This report describes a computer system that generates reconstructions of film autoradiographs of the cerebral cortex.
-
Evidential Reasoning: An Implementation For Multisensor Integration
Perceptual information is not readily captured in terms of simple truths and falsities or in terms of probabilistic estimates, when the appropriate statistical data are lacking.
-
Some Remarks on the Place of Logic in Knowledge Representation
What is the place of logic in knowledge representation? It is argued that the answer to this question depends on what one means by logic.
-
Overview Of The Image Understanding Testbed
The Image Understanding Testbed is a system of hardware and software that is designed to facilitate the integration, testing, and evaluation of implemented research concepts in machine vision.
-
Metarules as Meta-Node-Admissibility Conditions
Meta-rule phrase structure grammars (MPS grammars ) have been shown to be an extremely powerful formalism in need of constraints from both the computational and the linguist points of view.
-
The Relax Image Relaxation System: Description and Evaluation
The purpose of the IU Testbed is to provide a means for transferring technology from the DARPA-sponsored program to DMA and other organizations in the defense community.
-
Applied Logic – It’s use and implementation as a programming tool
The ideas are illustrated by describing in detail one sizable prologue program which implements a simple compiler the advantages and practicability of using prologue for real compiler implementation are discussed.
-
A Prolegomenon to Situation Semantics
An attempt is made to compare Computational Linguistics with Situational Semantics.
-
A Representation Of Time For Planning
A new time representation is described that allows a continuously changing world to be represented, so that queries about the truth of a proposition at an instant or over an…
-
Preface
A Preface by David Israel relates these chapters tothe general considerations of philosophers and psycholinguists.
-
Interpreting Network Formalisms
The author attempts to sketch adequate semantic accounts for at least two (kinds of) semantic network formalisms; one, based on the notion of inheritance, one, not.
-
Evidential Reasoning: A Developing Concept
Here we present our current understanding of this problem and some partial solutions. We conclude that evidential reasoning requires both a method for pooling multiple bodies of evidence to arrive…