Artificial intelligence publications

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 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…

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

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…

This paper presents the view that artificial intelligence (AI) is primarily concerned with propositional languages for representing knowledge and with techniques for manipulating these representations.

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…

A major portion of this paper describes the application of RANSAC to the Location Determination Problem (LDP): Given an image depicting a set of landmarks with known locations, determine that…