Artificial intelligence publications
-
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…
-
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,…
-
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…
-
Interactive Aids For Cartography and Photo Interpretation
In this report, the application areas of ARPA-supported Machine Vision work at SRI were changed to Cartography and Photointerpretation. This change entailed general familiarization with the new domains, exploration of…
-
Parametric Correspondence and Chamfer Matching: Two New Techniques for Image Matching
Parametric correspondence is a technique for matching images to a three dimensional symbolic reference map. An analytic camera model is used to predict the location and appearance of landmarks in…
-
Hendrix’s Model for Simultaneous Actions and Continuous Processes: An Introduction and Implementation
This paper presents a self-contained introduction and implementation description to a simulation system for modeling simultaneous action and continuous processes.
-
Application Of Interactive Scene Analysis Techniques To Cartography
This paper proposes an interactive graphically generated method for delineation of cartographic and cultural features on a map.
-
Perceptual Strategies For Purposive Vision
This report describes a computer program that approaches perception as a problem-solving task. The system uses information about the appearances of objects, about their interrelationships, and about available sensors to…
-
Is “Sometimes” Sometimes Better Than “Always”? Intermittent Assertion In Proving Program Correctness
This approach, which we call the intermittent-assertion method, involves documenting the program with assertions that must be true at some time when control is passing through the corresponding point, but…