XPLAIN: A System for Creating and Explaining Expert Consulting Programs.

摘要

Traditional methods for explaining programs provide explanations by converting the code of the program or traces of its executive to English. While such methods can sometimes adequately explain program behavior, they typically cannot provide justification for that behavior. That is, such systems cannot tell why the system is doing is a reasonable thing to be doing. The problem is that the knowledge required to provide these justifications was used to produce the program but is itself not recorded as part of the code, and hence is unavailable. The XPLAIN system uses an automatic programmer to generate a consulting program by refinement from abstract goals. The automatic programmer uses a domain model, consisting of descriptive facts about the application domain, and a set of domain principles which prescribe behavior and drive the refinement process forward. By examining the refinement structure created by the automatic programmer, XPLAIN provides justifications of the code. XPLAIN has been used to re-implement major portions of A Digitals Therapy Advisor and provides superior explanations of its behavior. (Author)