This paper describes ROGET, a knowledge-based system that'assists a domain expert with several tasks system's encountered during the early phases of expert-system construction.

This article reviews the strengths and limitations of five major paradigms of medical computer-assisted decision making (CAOM): 1) clinical algorithms.

Experimentation serves three purposes: (a) hypothesis testing, (b) gathering of new data to constrain the theory generator, and (c) manipulation of the external system to reveal its structure. A theory formation system, EG, is described that employs experimentation and observation techniques to develop a theory of the UNIX file system and executive-level file commands. This theory formation task is more complex than previous efforts, and the goal of the project is to determine which existing theory formation methods are applicable and what new methods need to be developed. Previous techniques arc reviewed, and none of them arc found to be applicable. A new technique, based on controlled experimentation, is de3cribcd, and a hypothetical trace of EG's execution is presented. Key terms: 'Theory formation, generate-and-test, controlled experimentation, exploratory experiments, observation experiments, hypothesis-test experiments, credit assignment, new terms.

This paper describes a method of cutting off reasoning when all of the answers to a problem have been found. Briefly, the method involves keeping and maintaining information about the sizes of important sets.

Meta-level control, in an Artificial Intelligence system, can provide increased capabilities and improved performanct. This improvement, however, is achieved at the cost of the meta-level effort itself. To ensure an overall increase in system efficiency, the savings brought about at the base level cannot be exceeded by the effort at the meta-level. This paper outlines a formalization of the costs involved in choosing between independent problem-solving methods: the cost of meta-level control is explicitly included. It is shown that when meta-level effort is related to its efficacy, there exists an amount of this effort that should optimally be expended. Too much or too little meta -le-,e1 effort can result in a loss of overall system performance.

Georgeff's controlled production systems 65 8.3.3

Diane Warner Hasling Heuristic Programming Project Computer Science Department Stanford University Stanford, CA 94305 stra:cgre explanation we want to generate.

Palladio is an experimental system for designing very lame scale integrated (VLSI) circuits.

Scientific Dateline Heuristic Programming Project May 1983 Report No. HPP-83-1 5 (Revised June 1983)

ONCOC1N's design and implementation has occurred in unison with a set of studies and analyses Intended to help us better understand the demands of physicians as computer users. Our study of physician attitudes towards computer-based clinical consultation systems 112: emphasized the importance of a system's explanation capabilities and helped convince us of the important role that Al techniques are likely to play in the development of optimal decision aids.