This article presents an experiment in knowledge-intensive programming within a general problemsolv:ng production-system architecture called Soar In Soar, knowledge is encoded within a set of problem spaces.

From attributes 8 3 Implementation 8 3.1 Overview of Meta-Rulegen 3.2 Algorithm 10 3.2.1 Approach from object rule 11 3.2.2 Approach from attributes 14 4 Preliminary Results 15 5 Conclusion 17 ENHANCING PERFORMANCE OF EXPERT SYSTEMS BY AUTOMATED DISCOVERY OF META-RULES Abstract Machine learning can be used to formulate new meta-level knowledge. A small MYCIN-like medical diagnosis system was constructed as a starting point. Two heuristic methods are used in a program called Meta-Rulegen to form meta-rules from the knowledge base in the diagnosis system. In a preliminary study, 63 meta-rules were formed automatically and, by judiciously selecting a set of meta-rules, the efficiency of the diagnosis system can be improved significantly without degrading the quality of advice. This study suggests that meta-rules can be learned automatically to improve the efficiency of rule-based systems.

Stanford -- KSL that Think. Consideration of the of the new 16-bit integrated circuits that phenomenal progress of the past 30 years leaves one with a feeling of have allowed computers oi small size and considerable power to be developed. The only certainty in sight is that scientists. BRUCE G. BUCHANAN is Professor of In addition to game playing early Al work focused on techniques for solving Computer Science Research at Stanford small symbolic reasoning problems. Researchers continue to ponder these problems (Overleat) Illustration by f red Nelson as well.

Researchers in the development of medical expert systems have Increasingly recognized the Importance of explanation capabilities in encouraging the acceptance of their programs. One survey of potential users of medical advice systems has suggested that explanation may be the single most important capability of an acceptable clinical decision tool (16). Good explanations serve four functions in a consultation system: 111 they provide a method for examining the program's reasoning if errors arise when the system is being built; 121 they assure users that the reasoning is logical, thereby increasing user acceptance of the system; 131 they may persuade users that unexpected advice is appropriate; and 141 they can educate users in areas where their knowledge may be weak.

The ONCOCIN Project is supported by research grants from the National Library of Medicine, the Division of Research Resources of the NIH, the Office of Naval Re"arch, and the Henry J. Kaiser Family Foundation.

Symbolic inference since the time of Aristotle has involved the combination of symbolic expressions.

Multiple processors can be used to achieve a speedup of a backward-chaining deduction by distributing or-parallel deductions. However, the actual speedup obtained is strongly dependent on the task allocation strategy. Also, communication cost can be a significant part of the overall cost of a deduction. For the multiple processor scenario used in this paper,, processors with replicated databases on a broadcast network, a variable supply model (VSM) is presented. VSM represents an infinite class of strategies with varying communication requirements.

A broad range of heuristic programs--embracing forms of diagnosis, catalog selection, and skeletal planning--accomplish a kind of well-structured problem solving called classification. These programs have a characteristic inference structure that systematically relates data to a preenumerated set of solutions by abstraction.

Current subprojects include applications of the program Gerring.

MARS is an experimental system that provides a framework for implementing hierarchical discrete event driven simulators. The program is independent of any domain.