Artificial intelligence publications
-
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.
-
What’s Wrong with Non-Monotonic Logic
The answer, briefly, is that the motivation behind the wonderfully impressive work involved in its development is based on a confusion of proof-theoretic with epistemological issues.
-
Random Sample Consensus: A Paradigm for Model Fitting with Applications to Image Analysis and Automated Cartography
RANSAC is capable of interpreting/smoothing data containing a significant percentage of gross errors, and is thus ideally suited for applications in automated image analysis where interpretation is based on the…
-
Metaphor, Metaphor Schemata, and Selective Inferencing
Three examples of metaphors are examined in detail in this light–a simple metaphor, a spatial metaphor schema, and a novel metaphor.
-
Artificial Intelligence: State Of The Art
The problems tackled by research workers and AI are typically large, complex, and involves ambiguity and uncertainty. AI attempts to come to grips with the real world, with all its…
-
An Iconic Transform For Sketch Completion and Shape Abstraction
This paper shows how a simple label propagation technique, in conjunction with some novel ideas about how labels can be applied to an image to express semantic knowledge, lead to…
-
Hierarchical Representation Of Three-Dimensional Objects Using Verbal Models
We present a formalism for the computer representation of three-dimensional shapes, that has as its goal to facilitate man-machine communication using verbal, graphic, and visual means. With this method, pieces…
-
Map-Guided Interpretation Of Remotely-Sensed Imagery
Geometric correspondence between a sensed image and a symbolic reference map is established in an initial stage of processing by adjusting parameters of a sensor model so that image features…
-
A (14C) Deoxyglucose Study of Somatosensory and Associated Cortical Areas in the Monkey
The strategies used by the macaca monkey brain in controlling the performance of a reaching movement to a visual target have been studied by the quantitative autoradiographic 14C-DG method.