Publications
-
Handling Complex Queries In A Distributed Data Base
As part of the continuing development of the LADDER system, we have substantially expanded the capabilities of the data base access component that serves as the interface between the natural-language…
-
Problem Solving Tactics
This paper describes the basic strategies of automatic problem solving, and then focuses on a variety of tactics for improving their efficiency.
-
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…