Publications
-
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…
-
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…
-
Managing Network Access to a Distributed Database
This paper describes a program, FAM – for File Access Manager –, used to access to data distributed over a computer network. FAM is a part of a system which…
-
The Representation and Use of Focus in a System for Understanding Dialogs
As a dialog progresses, the objects and actions that are most relevant to the conversation, and hence in the focus of attention of the dialog participants, change. This paper describes…
-
IDA: An Intelligent Data Access Program
IDA was developed at SRI to allow a casual user to retrieve information from a data base, knowing the fields present in the data base, but not the structure of…
-
A Framework For Speech Understanding
This paper reports the author’s results in designing, implementing, and testing a framework for a speech-understanding system. The work was done as part of a multi-disciplinary effort based on state-of-the-art…