Artificial intelligence publications

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.

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…

This paper describes the results obtained in a research program ultimately concerned with deriving a physical sketch of a scene from one or more images. Our approach involves modeling physically…

In October 1981, Japan announced a national project to develop highly innovative computer systems for the 1990s, with the title "Fifth Generation Computer Systems".

The model presented is a probabilistic generalization of the familiar notion of problem space. The specification of uncertain states and unreliable operators is discussed.

This paper presents a new model for recognizing the speaker's intended meaning in determining a response.

This paper introduces a formal method for integrating knowledge derived from a variety of sources for use in "perceptual reasoning". The formalism is based on the "evidential propositional calculus"- a…

The core idea is that of a compiler system that can hold a conversation with a user in English about his specific domain of interest, subsequently retrieve and display information…

The task of deriving a unification algorithm automatically is beyond the power of existing program synthesis systems. We will identify some of the capabilities required of a theorem-proving system to…

In this paper straightforward procedures are presented for calibrating a camera, computing the equation of a plane, and combining a camera calibration and an equation of a light plane to…