This paper considers a number of problems in the semantics of belief sentences from the perspective of computational models of the psychology of belief.
When two people talk, they focus their attention on only a small portion of what each of them knows or believes. Both what is said and how it is interpreted depend on a shared understanding of this narrowing of attention to a small highlighted portion of what is known.
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 may be assembled hierarchically using any of several ways of specifying attachment.
Today’s robots possess "muscles" only; there is a need to develop intelligent robots that can detect faults and correct errors by using sensors and computer control.
J.M. Tenenbaum, H.G. Barrow, Robert C. Bolles , M.A. Fischler, & H.C. Wolf
A map-guided approach to interpretation of remotely sensed imagery is described, with emphasis on applications involving continuous monitoring of predetermined ground sites.
Program synthesis is the systematic derivation of a program from a given specification. A deductive approach to program synthesis is presented for the construction of recursive programs.
When people produce a discourse, what needs are they responding to when they make it coherent, and what form does this coherence take? In this paper, it is argued that coherence can be characterized in terms of a set of ``coherence relations’’ between segments of a discourse.
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 vision tasks.
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.
