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.
-
Engineering Design Viewed as an Activity in Artificial Intelligence
The process of problem solving has been studied in artificial intelligence research for the past few decades. This paper describes the engineering design process from several viewpoints, and then relates…
-
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 Network-Based Knowledge Representation and Its Natural Systems
We describe a knowledge representation scheme called K-NET and a problem solving system called SNIFFER designed to answer queries using a K-NET knowledge base. K-NET uses a partitioned semantic net…
-
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…