Skip to main content
Springer Nature Link
Log in

Integrating Deep Biomedical Models into Medical Decision Support Systems: An Interval Constraint Approach

  • Conference paper
  • First Online:
Artificial Intelligence in Medicine (AIMDM 1999)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 1620))

Abstract

Knowledge representation has always been a major problem in the design of medical decision support systems. In this paper we present a new methodology to represent and reason about medical knowledge, based on the declarative specification of interval constraints over the medical concepts. This allows the integration of deep medical models involving differential equations developed in biomedical research (typical in several medical domains) which, to their complexity, have not been incorporated into medical decision support systems. The methodology which enables reasoning both forward and backward in time, is applied to a specific domain, electromyography. The promising results obtained are discussed to justify our future work.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. O'Neil, M., Glowinski, A. and Fox, J.: A Symbolic Theory of Decision Making Applied to Several Medical Tasks, Lecture Notes in Medical Informatics, Springer, 38 (1989) 62–71.

    Google Scholar 

  2. Horn, W.: Utilizing Detailed Anatomical Knowledge for Hypothesis Formation and Hypothesis Testing in Rheumatological Decision Support. In: E. Keravnou, eds., Deep Models for Medical Knowledge Engineering, Elsevier, (1992) 27–50.

    Google Scholar 

  3. Cruz, J. and Barahona, P.: A Causal-Functional Model Applied to EMG Diagnosis, Proceedings of the 6th Conference on Artificial Intelligence in Medicine Europe, AIME'97, Springer, Grenoble, France (1997) 249–260.

    Google Scholar 

  4. Andreassen, S., Falck, B. and Olesen, K.G.: Diagnostic Function of the Microhuman Prototype of the Expert System MUNIN, Electroencephalography and Clinical Neurophysiology 85 (1992) 143–157.

    Article  Google Scholar 

  5. Suojanen, M., Olesen, K.G. and Andreassen, S.: A Method for Diagnosing in Large Medical Expert Systems Based on Causal Probabilistic Networks, Proceedings of the 6th Conference on Artificial Intelligence in Medicine Europe, AIME'97, Springer, Grenoble, France (1997) 285–295.

    Google Scholar 

  6. Timmons, W.D.: Cardiovascular Models and Control. In: The Biomedical Engineering Handbook. CRC/IEEE Press, Connecticut (1995) 2386–2403.

    Google Scholar 

  7. Poon, C.-S.: Respiratory Models and Control. In: The Biomedical Engineering Handbook. CRC/IEEE Press, Connecticut (1995) 2404–2421.

    Google Scholar 

  8. Cobelli, C. and Saccomani, M.P.: Compartment Models of Physiologic Systems. In: The Biomedical Engineering Handbook. CRC/IEEE Press, Connecticut (1995) 2375–2385.

    Google Scholar 

  9. Aminoff M.J.: Electrodiagnosis in Clinical Neurology. 3th edn. Churchill Livingstone, New York (1992).

    Google Scholar 

  10. FitzHugh, R.: Mathematical models of excitation and propagation in nerve. In: Biological Engineering, chap I, McGraw-Hill, New York (1969) 1–85.

    Google Scholar 

  11. Tasaki, I.: Conduction of the Nerve Impulse. In: Handbook of Physiology, section I: Neurophysiology Vol. I. American Physiological Society, Washington (1959) 75–121.

    Google Scholar 

  12. Van Denneheuvel, S et al: Reduced Constraint Models. In: E. Keravnou, eds., Deep Models for Medical Knowledge Engineering, Elsevier, (1992) 89–100.

    Google Scholar 

  13. Cleary J.G.: Logical Arithmetic. In Future Generation Computing Systems, 2(2) (1987) 125–149.

    Google Scholar 

  14. Moore R.E.: Interval Analysis. Prentice-Hall, Englewood Cliffs, NJ (1966).

    MATH  Google Scholar 

  15. Benhamou, F., McAllester, D. and Van Hentenryck, P.: CLP(intervals) revisited. In Proceedings of the International Logic Programming Symposium (1994).

    Google Scholar 

  16. Haroud, D. and Faltings, B.: Consistency techniques for continuous constraints. In Constraints 1(1 and 2) (1996) 85–118.

    Article  MathSciNet  Google Scholar 

  17. Hartman, P.: Ordinary Differential Equations. Wiley, New York (1964).

    MATH  Google Scholar 

  18. Older, W.: Application of Relational Interval Arithmetic to Ordinary Differential Equations, in Workshop on Constraint Languages and their use in Problem Modelling, Int'l Logic Programming Symposium, Ithaca, New York (1994).

    Google Scholar 

  19. Deville, Y., Janssen, M. and Van Hentenryck, P.: Consistency Techniques in Ordinary Differential Equations. In: Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming-CP98. Pisa, Italy (1998) 162–176.

    Google Scholar 

  20. Veloso, M. et al, ESTEEM: European Standardized Telematics Tool to Evaluate EMG Knowledge Based Systems and Methods, in Health in the New Communication Age, Laires, M.F., Ladeira, M.J. and Christensen, J.P. (Eds.), IOS Press, pp. 348–356, 1995

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Departamento de Informática, Universidade Nova Lisboa, 2825, Monte Caparica, Portugal

    Jorge Cruz & Pedro Barahona

  2. IRIN, Université de Nantes, 2 rue de la Houssiniere, Nantes cedex 3, France

    Frédéric Benhamou

Authors
  1. Jorge Cruz
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Pedro Barahona
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Frédéric Benhamou
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Austrian Research Institute for Artificial Intelligence, Schottengasse 3, A-1010, Vienna, Austria

    Werner Horn

  2. Department of Medicine and Computer Science, Stanford University, 251 Campus Drive, Stanford, CA, 94305-5479, USA

    Yuval Shahar

  3. Department of Medicine Karolinska Institutet, Huddinge University Hospital, Sweden

    Greger Lindberg

  4. Department of Medical Informatics and Image Analysis, Aalborg University, Fredrik Bajers Vej 7D, DK-9000, Aalborg, Denmark

    Steen Andreassen

  5. School of Public Policy, University College London, 29/30 Tavistock Square, London, WC1H 9EZ, UK

    Jeremy Wyatt

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cruz, J., Barahona, P., Benhamou, F. (1999). Integrating Deep Biomedical Models into Medical Decision Support Systems: An Interval Constraint Approach. In: Horn, W., Shahar, Y., Lindberg, G., Andreassen, S., Wyatt, J. (eds) Artificial Intelligence in Medicine. AIMDM 1999. Lecture Notes in Computer Science(), vol 1620. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48720-4_20

Download citation

  • DOI: https://doi.org/10.1007/3-540-48720-4_20

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66162-7

  • Online ISBN: 978-3-540-48720-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation