Artificial intelligence publications
-
Computer-Assisted Analysis of Tomographic Images of the Brain
A computer system for the analysis of computed tomography and positron emission tomography scans of the brain is described.
-
An Inference Technique for Integrating Knowledge from Disparate Sources
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…
-
Recognizing Intended Meaning and Speakers’ Plans
This paper presents a new model for recognizing the speaker's intended meaning in determining a response.
-
Artificial Intelligence: Engineering, Science Or Slogan?
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.
-
Machine Learning for Information Management
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…
-
Deductive Synthesis Of The Unification Algorithm
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…
-
A Simple Sensor to Gather Three-Dimensional Data
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…
-
Random Sample Consensus: A Paradigm for Model Fitting with Applications to Image Analysis and Automated Cartography
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…
-
Automatic Deduction For Commonsense Reasoning: An Overview
This article provides an overview of the issues involved in drawing conclusions by means of deductive inference from bodies of commonsense knowledge represented by logical formulas.
-
An Approach To Acquiring and Applying Knowledge
The problem addressed in this paper is how to enable a computer system to acquire facts about new domains from tutors who are experts in their respective fields, but who…
-
Klaus: A System For Managing Information and Computational Resources
These systems, which we call Knowledge Learning and Using Systems (KLAUS), are intended to act as brokers between the user’s needs, as expressed in the user’s terms, and the resources…
-
The Interplay Between Experimental and Theoretical Methods, In Artificial Intelligence
The reasons for the dichotomy are discussed, and AI is compared with other, more mature disciplines in which there is closer cooperation between experimental and theoretical branches.