Janice S. Aikins
This paper presents the results of research done on the representation of control knowledge in rule-based expert systems. It discusses the problems of representing control knowledge implicitly in object-level inference rules and presents specific examples from a MYCIN-like consultation system called PUFF. As an alternative, the explicit representation of control knowledge in slots of a frame-like data structure is demonstrated in the CENTAUR system. Explicit representation of control knowledge has significant advantages both for the acquisition and modification of domain knowledge and for explanations of how knowledge is used in the expert system.