Artificial intelligence publications
-
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.
-
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…
-
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…
-
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.
-
A Deductive Approach To Program Synthesis
This approach regards program synthesis as a theorem-proving task and relies on a theorem-proving method that combines the features of transformation rules, unification, and mathematical induction within a single framework.
-
Prospects For Industrial Vision
This paper builds a case for needed additional levels of representation and outlines the design of a general-purpose computer-vision system capable of high performance in a wide variety of industrial…
-
Why Ask?
In this paper, we address the problem, 'What makes an answer appropriate?’ We do so by investigating indirect answers to questions in task-oriented dialogues.
-
Engineering Design Viewed as an Activity in Artificial Intelligence
The process of problem solving has been studied in artificial intelligence research for the past few decades. This paper describes the engineering design process from several viewpoints, and then relates…