Publications
-
Utterance and Objective: Issues In Natural Language Communication
This paper evaluates the capabilities of natural language processing systems against requirements and identifies crucial areas for future research in language processing, common-sense reasoning, and their coordination.
-
Computational Models Of Beliefs and The Semantics Of Belief-Sentences
We present a semantic interpretation for belief sentences and show how this interpretation overcomes some of the difficulties of alternative approaches, especially those based on possible-world semantics.
-
Focusing and Description In Natural Language Dialogues
This paper describes focusing mechanisms based on domain structure clues which have been included in a computer system and, from this perspective, indicates future research problems entailed in modeling the…
-
Robotic Sensors in Programmable Automation
Characterized by flexibility and the ease of setup for new production tasks, programmable automation employs industrial robots. Today’s robots possess "muscles" only; there is a need to develop intelligent robots…
-
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 Is Discourse Coherent?
In this paper, it is argued that coherence can be characterized in terms of a set of 'coherence relations’ between segments of a discourse. It is shown, from an abstract…
-
Machine Vision and Robotics: Industrial Requirements
The importance of human vision is a major motivation for the intense interest in and significant research effort devoted to machine vision.
-
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.