Publications
-
Local Shading Analysis
Local analysis of image shading, in the absence of prior knowledge about the viewed scene, may be used to provide information about the scene.
-
Dialogic: A Core Natural-Language Processing System
The design of DIALOGIC (and of its constituent modules) was influenced by the goal of using it as the core language-processing component in a variety of systems, some of which…
-
Interpreting Perspective Images
Two constructive methods are presented: the first finds the orientation of parallel lines and planes and the second determines the orientation of plans by `backprojection’ of two intrinsic properties of…
-
Evidential Reasoning: A Developing Concept
Here we present our current understanding of this problem and some partial solutions. We conclude that evidential reasoning requires both a method for pooling multiple bodies of evidence to arrive…
-
A Nonclausal Connection-Graph Resolution Theorem-Proving Program
A new theorem-proving program, combining the use of nonclausal resolution and connection graphs, is described. The use of nonclausal resolution as the inference system eliminates some of the redundancy and…
-
Modeling and Using Physical Constraints In Scene Analysis
This paper describes the results obtained in a research program ultimately concerned with deriving a physical sketch of a scene from one or more images. Our approach involves modeling physically…
-
The Byzantine Generals Problem
Reliable computer systems must handle malfunctioning components that give conflicting information to different parts of the system. This situation can be expressed abstractly in terms of a group of generals…
-
A View Of The Fifth Generation and Its Impact
In October 1981, Japan announced a national project to develop highly innovative computer systems for the 1990s, with the title "Fifth Generation Computer Systems".
-
The Role Of Logic In Knowledge Representation and Commonsense Reasoning
We argue that there is an important set of issues, involving incomplete knowledge of a problem situation, that so far have been addressed only by systems based on formal logic…
-
Planning Natural-Language Utterances To Satisfy Multiple Goals
This dissertation presents the results of research on a planning formalism for a theory of natural-language generation that will support the generation of utterances that satisfy multiple goals.
-
Computational Stereo
We broadly define computational stereo as the recovery of the three-dimensional characteristics of a scene from multiple images taken from different points of view.
-
Parallelism in Planning and Problem Solving: Reasoning About Resources
This paper describes and presents some new techniques that are implemented in an actual planning system and are useful in seeking solutions to these problems.