On the inevitable intertwining of specification and implementation
Communications of the ACM
A digitalis therapy advisor with explanations
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
NEOMYCIN: reconfiguring a rule-based expert system for application to teaching
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
A knowledge-based system for automatic program construction
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
Informality in program specifications
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
The automatic synthesis of systems of recursive programs
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
The role of plans in automated consultation
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
Results in knowledge based program synthesis
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
Argumentation and Qualitative Decision Making
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Interacting meaningfully with machine learning systems: Three experiments
International Journal of Human-Computer Studies
Probabilistic semantics for qualitative influences
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Probabilistic semantics for qualitative influences
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Improving understandability of semantic search explanations
International Journal of Knowledge Engineering and Data Mining
Enhanced maintenance and explanation of expert systems through explicit models of their development
PKWBS-W'84 Proceedings of the 1984 IEEE conference on Principles of knowledge-based systems
User aspects of explanation aware CBR systems
INTERACT'05 Proceedings of the 2005 IFIP TC13 international conference on Human-Computer Interaction
Mapping goals and kinds of explanations to the knowledge containers of case-based reasoning systems
ICCBR'05 Proceedings of the 6th international conference on Case-Based Reasoning Research and Development
Using group support systems for developing a knowledge-based explanation facility
International Journal of Information Management: The Journal for Information Professionals
| Hi-index | 0.00 |
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.