Accession Number : ADA130597

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

Descriptive Note : Research rept.,


Personal Author(s) : Swartout,William R

PDF Url : ADA130597

Report Date : Jul 1983

Pagination or Media Count : 53

Abstract : 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)

Descriptors :   *Automatic programming, *Artificial intelligence, *Medical computer applications, *Computer aided diagnosis, Computer programming, Computer architecture, Systems engineering, Specifications, Requirements, Computer aided instruction, Decision making, Problem solving, Digital systems, Diagnosis(Medicine), User needs, Natural language

Subject Categories : Computer Programming and Software
      Computer Hardware

Distribution Statement : APPROVED FOR PUBLIC RELEASE