Skip to main content
SpringerLink
Log in

A formal model of explanation

  • Published:
Formal Aspects of Computing

Abstract

As information systems become more complex, formal methods offer a solution to the increasing problem of ensuring correctness of design and implementation. This paper illustrates the use of mathematical specification to formalise the notion of ‘explanation’. This is relevant to any information system which engages in inference. An information system is regarded as a homogeneous function on states of information. An explanation for a conclusion is regarded as a weakening of the theory relating input to output, such that the same conclusion is reached. As an example, the specification is implemented for a simple statistical classifier to assist medical diagnosis.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Adams, L. D., Chan, M., Clifford, P. C., Cooke, W. M., Dallos, V., de Dombal, F. T., Edwards, M. H., Hancock, D. M., Hewett, D.J., McIntyre, N., Somerville, P. G., Spiegelhalter, D. J., Wellwood, J. and Wilson, D. H.: Computer-Aided Diagnosis of Acute Abdominal Pain: A Multicentre Study.Br. Med. J, 293, 800–804 (1986).

    Article  Google Scholar 

  2. Croft, D. J.: Mathematical Methods in Medical Diagnosis.Ann. Biomed. Eng, 2, 69–89 (1974).

    Article  Google Scholar 

  3. Davis, R., Buchanan, B. and Shortliffe, E.: Production Rules as a Representation for a Knowledge-Based Consultation Program.Artif. Intell, 8, 15–45 (1977).

    Article  MATH  Google Scholar 

  4. De Dombal, F. T.: The Diagnosis of Acute Abdominal Pain with Computer Assistance: Worldwide Perspective.Ann. Chir, 45, 273–277 (1991).

    Google Scholar 

  5. Gunn, A. A.: The Acute Abdomen: the Role of Computer-Assisted Diagnosis.Baillières Clin. Gastroenterol, 5, 639–665 (1991).

    Article  Google Scholar 

  6. Van Harmelen, F. and Bundy, A.: Explanation-Based Generalization=Partial Evaluation.Artif. Intell, 36, 401–412 (1988).

    Article  MATH  Google Scholar 

  7. Kim, S. H. and Kim, J. K.: Explanation in a Decision-Theoretic Consulting System: An Axiomatic Approach.Applied Artif. Intell, 5, 393–409 (1991).

    Article  Google Scholar 

  8. Lachenbruch, P. A. and Mickey, M. R.: Estimation of Error Rates in Discriminant Analysis.Technomet, 10, 1–11 (1968).

    Article  MathSciNet  Google Scholar 

  9. Mitchell, T. M., Keller, R. M. and Kedar-Cabelli, S. T.: Explanation-Based Generalization: A Unifying View.Machine Learning, 1, 47–80 (1986).

    Google Scholar 

  10. Mooney, R. J.: Explanation Generalization in EGGS,Investigating Explanation-Based Learning. DeJong, G. F. (ed), Kluwer Academic Publishers, pp. 20–59, 1993.

  11. Reggia, J. A. and Perricone, B. T.: Answer Justification in Medical Decision Support Systems Based on Bayesian Classification.Comput. Biol. Med, 15, 161–167 (1985).

    Article  Google Scholar 

  12. Sandell, H. S. H. and Bourne, J. R.: Expert Systems in Medicine: A Biomedical Engineering Perspective.Crit. Rev. Biomed. Eng, 12, 95–129 (1985).

    Google Scholar 

  13. Spiegelhalter, D. J. and Knill-Jones, R. P.: Statistical and Knowledge-Based Approaches to Clinical Decision-Support Systems.J. Roy. Stat. Soc. A, 147, 35–77 (1984).

    Article  MATH  Google Scholar 

  14. Spivey, J. M.:The Z Notation: A Reference Manual. Prentice-Hall, 1988.

  15. Stamper, R., Todd, B. S. and Macpherson, P. M.: A Software Engineering Approach to the Design of a Medical Expert System,Proc. 4th Int. Conf. on Software Engineering and Knowledge Engineering, pp. 341–348, 1992.

  16. Stamper, R., Todd, B. S. and Macpherson, P. M.: Case-Based Explanation for Medical Diagnostic Programs, with an Example from Gynaecology.Methods Inf. Med, 33, 205–213 (1994).

    Google Scholar 

  17. Swets, J. A.: Measuring the Accuracy of Diagnostic Systems.Science, 240, 1285–1293 (1988).

    Article  MATH  MathSciNet  Google Scholar 

  18. Teach, R. and Shortliffe, E.: An Analysis of Physician Attitudes Regarding Computer-Based Clinical Consultation Systems.Comput. Biomed. Res, 14, 542–558 (1981).

    Article  Google Scholar 

  19. Todd, B. S. and Stamper, R.: The Formal Design and Evaluation of a Variety of Medical Diagnostic Programs, Technical Monograph PRG-109, Oxford University Computing Laboratory, 1993.

  20. Todd, B. S., Stamper, R. and Macpherson, P. M.: The Design and Construction of a Medical Simulation Model.Comput. Methods Programs Biomed, 42, 77–91 (1993).

    Article  Google Scholar 

  21. Young, D., Chapman, T. and Poile, C.: Physician, Reveal Thyself.Br. J. Healthcare Comput, 7, 16–21 (1990).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. The Programming Research Group, Oxford University Computing Laboratory, Wolfson Building, Parks Road, OX1 3QD, Oxford, UK

    Bryan S. Todd FRCS & Richard Stamper

Authors
  1. Bryan S. Todd FRCS
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Richard Stamper
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Todd, B.S., Stamper, R. A formal model of explanation. Formal Aspects of Computing 7, 207–225 (1995). https://doi.org/10.1007/BF01211606

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01211606

Keywords

Search

Navigation