This paper argues that an important design principle for building expert systems is to represent all control knowledge abstractly and separately from the domain knowledge upon which it operates. Abstract control knowledge is defined as the specifications of when and how a program is to carry out its operations, such as pursuing a goal, focusing,…

This paper examines the problem of automatic explanation of reasoning, or the ability of a program to discuss what it is doing in some understandable way, particularly as part of an expert system. An introduction presents a general framework in which to view explanation and reviews some of the research in this area. This is followed by a…

This paper describes GUIDON-WATCH, a graphic interface that uses multiple windows and a mouse to allow a student to browse a knowledge base and view reasoning processes during diagnostic problem solving. The GUIDON project at Stanford University is investigating how knowledge-based systems can provide the basis for teaching programs, and this…

GUIDON is an intelligent computer-aided instruction (ICAI) program for teaching diagnosis, which has been tested using the infectious disease diagnosis rules of the MYCIN consultation system developed at the Stanford University School of Medicine. GUIDON engages a student in a dialogue about a patient suspected of having an infection and thus…