XPLAIN: A System for Creating and Explaining Expert Consulting Programs
XPLAIN: A System for Creating and Explaining Expert Consulting Programs
复制标题
DOI：
10.1016/s0004-3702(83)80014-9
复制
发表时间：
1983-08
期刊：
影响因子：
--
通讯作者：
W. Swartout
中科院分区：
文献类型：
--
作者：
W. Swartout
解释程序的传统方法通过将程序代码或其执行的痕迹转换为英语来提供解释。虽然这些方法有时可以充分解释程序行为，但它们通常无法为该行为提供正当理由。也就是说，这样的系统不能告诉为什么系统正在做的事情是合理的。问题是，提供这些理由所需的知识被用于生成程序，但其本身并没有作为代码的一部分记录下来，因此是不可用的。XPLAIN系统使用自动程序员通过对抽象目标的细化来生成咨询程序。自动程序员使用一个域模型，该模型由关于应用程序域的描述性事实和一组域原则组成，这些域原则规定了行为并推动细化过程向前发展。通过检查由自动编程器创建的细化结构，XPLAIN提供了代码的合理性。XPLAIN已用于重新实现洋地黄治疗顾问的主要部分，并提供其行为的上级解释。
Traditional methods for explaining programs provide explanations by converting the code of the program or traces of its execution to English. While such methods can sometimes adequately explain program behavior, they typically cannot provide justifications for that behavior. That is, such systems cannot tell why what 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 Digitalis Therapy Advisor and provides superior explanations of its behavior.