A review of 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, and the overall approach is compared to alternative decision making methodologies.
Techniques derived from mathematical logic promise to provide an alternative to the conventional methodology for constructing, debugging, and optimizing computer programs. Ultimately, these techniques are intended to lead to the automation of many of the facets of the programming process.
Gary G. Hendrix, Earl D. Sacerdoti, Daniel Sagalowicz, & J. Slocum
This paper describes aspects of an intelligence interface that provides natural language access to a large body of data distributed over a computer network.
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 inference rules and separate mechanisms for forward and backward reasoning.
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.
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 the data base itself.
