Abstract
Traditional methods for explaining programs provide explanations by converting to English the code of the program or traces of the execution of that code. While such methods can provide adequate explanations of what the program does or did, they typically cannot provide justifications of the code without resorting to canned-text explanations. 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 is needed only when the program is being written and does not appear in the code itself.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Barstow, D., “A Knowledge-Based System for Automatic Program Construction,” Proceedings of the Fifth International Conference on Artificial Intelligence, 1977
Balzer, R., Goldman, N., Wile, D., “Informality in Program Specifications,” Proceedings of the Fifth International Conference on Artificial Intelligence, 1977
Clancey, W.J., “Transfer of Rule-based Expertise Through a Tutorial Dialogue,” Stanford University, Department of Computer Science, STAN-CS-79-769, 1979
Davis, R., “Applications of Meta Level Knowledge to the Construction, Maintenance and Use of Large Knowledge Bases,” PhD thesis, Stanford Artificial Intelligence Laboratory Memo 283(1976).
Gorry, G.A., Silverman, H., and Pauker, S.G., Capturing Clinical Expertise: A Computer Program that Considers Clinical Responses to Digitalis, American Journal of Medicine 64: 452 – 460, (March 1978).
Green, C.C., Gabriel, R.P., Kant, E., Kedzierski, B.I., McCune, B.P., Phillips, J.V., Tappel, S.T., Westfold, S.J., “[Green79]Results in Knowledge Based Program Synthesis,” Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979
Jelliffe R.W., Buell J., Kalaba R. et al, “A Computer Program for Digitalis Dosage Regimens,” Math. Biosci.9: 179 – 193, 1970
Jelliffe R.W., Buell J, Kalaba R, “Reduction of digitalis toxicity by computer-assisted glycoside dosage regimens,” Ann. Intern. Med.77: 891 – 906, 1972
Long, W.J., “A Program Writer,” MIT Laboratory for Computer Science, TR-187, 1977
Manna, Z., Waldinger, R., “ The Automatic Synthesis of Systems of Recursive Programs,” Proceedings of the Fifth International Conference on Artificial Intelligence, 1977
Peck C.C., Sheiner L.B. et al: “ Computer-assisted Digoxin Therapy,” New England Journal of Medicine289: 441 – 446, 1973.
Pauker, S.G., Gorry, G.A., Kassirer, J.P., and Schwartz. W.B., “Toward the Simulation of Clinical Cognition: Taking a Present Illness by Computer,” The American Journal of Medicine60: 981 – 995 (June 1976).
Pople, H.E., Jr., “The Formation of Composite Hypotheses in Diagnostic Problem Solving: an Exercise in Synthetic Reasoning,” Proceedings of the Fifth International Joint Conference on Artificial Intelligence (1977).
Sheiner L.B., Rosenberg B., Melmon K., “[Sheiner72]Modelling of Individual Pharmacokinetics for Computer-aided Drug Dosage,” Computers and Biomedical Research5: 441 – 459, 1972
Shortliffe, E.H., Computer Based Medical Consultations: MYCIN, Elsevier North Holland Inc. (1976)
Silverman, H., “A Digitalis Therapy Advisor,” MIT Project MAC TR-143, 1975
Swartout, W.R., “A Digitalis Therapy Advisor with Explanations,” Proceedings of the Fifth International Joint Conference on Artificial Intelligence, August 1977
Swartout, W.R., “A Digitalis Therapy Advisor with Explanations,” Proceedings of the Fifth International Joint Conference on Artificial Intelligence, August 1977
Winograd, T., “A Computer Program for Understanding Natural Language,” MIT Artificial Intelligence Laboratory TR-17, 1971
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1985 Springer-Verlag New York
About this chapter
Cite this chapter
Swartout, W.R. (1985). Explaining and Justifying Expert Consulting Programs. In: Reggia, J.A., Tuhrim, S. (eds) Computer-Assisted Medical Decision Making. Computers and Medicine. Springer, New York, NY. https://doi.org/10.1007/978-1-4612-5108-8_15
Download citation
DOI: https://doi.org/10.1007/978-1-4612-5108-8_15
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4612-9567-9
Online ISBN: 978-1-4612-5108-8
eBook Packages: Springer Book Archive