Publications
-
Investigating The Process Of Natural Language Communication
This research seeks to identify and computationally formalize the knowledge and processes needed for participation in natural language dialogs about ongoing tasks.
-
Focusing in Dialog
This paper examines focusing in dialog, discusses focusing mechanisms based on domain structure clues, and, from this perspective, indicates future research problems entailed in modeling the focusing process more generally.
-
Encoding Knowledge In Partitioned Networks
This paper discusses network notations for encoding a number of different kinds of knowledge, including taxonomic information; general statements involving quantification; information about processes and procedures; the delineation of local…
-
Recovering Intrinsic Scene Characteristics From Images
We suggest that an appropriate role of early visual processing is to describe a scene in terms of intrinsic characteristics – such as range, orientation, reflectance, and incident illumination –…
-
Road Tracking and Anomaly Detection In Aerial Imagery
This report describes a new procedure for tracking road segments and finding potential vehicles in imagery of approximately 1 to 3 feet per pixel ground resolution.
-
Use of Sensors in Programmable Automation
In this paper we are concerned with the application of sensor-mediated programmable automation to material-handling, inspection, and assembly operations in batch-produced, discrete-part manufacturing.
-
Synthesis: Dreams = Programs
Deductive techniques are presented for deriving programs systematically from given specifications. The specifications express the purpose of the desired program without giving any hint of the algorithm to be employed.
-
PROSPECTOR: A Computer-Based Consultation System For Mineral Exploration
This paper reviews the principles and status of PROSPECTOR, a computer-based consultation program for mineral exploration. The mechanisms for representing ore deposit models by networks of inference rules are described,…
-
Developing A Natural Language Interface To Complex Data
This paper describes aspects of an intelligence interface that provides natural language access to a large body of data distributed over a computer network. The overall system architecture is presented,…
-
The Logic Of Computer Programming
Techniques derived from mathematical logic promise to provide an alternative to the conventional methodology for constructing, debugging, and optimizing computer programs. This paper provides a unified tutorial exposition of the…
-
A Production System For Automatic Deduction
A new predicate calculus deduction system based on production rules is proposed. The system combines several developments in Artificial Intelligence and Automatic Theorem Proving research including the use of domain-specific…
-
The Representation and Use Of Focus In Dialogue Understanding
This report develops a representation of focus of attention that circumscribes discourse contexts within a general representation of knowledge. To formalize the notion of focus, the need for and the…