Skip to main content
SpringerLink
Log in

Declarative Programming and Clinical Medicine On the Use of Gisela in the MedView Project

  • Conference paper
  • First Online:
Practical Aspects of Declarative Languages (PADL 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2257))

Included in the following conference series:

  • 271 Accesses

Abstract

In 1995, the MedView project, based on a co-operation between computing science and clinical medicine was initiated. The overall aim of the project is to develop models, methods, and tools to support clinicians in their diagnostic work. Today, the system is in daily use at several clinics and the knowledge base created contains more than 2000 examination records from the involved clinics. Knowledge representation and reasoning within MedView uses a declarative model based on a theory of definitions. In order to be able to model knowledge declaratively and integrate reasoning into applications with GUIs a framework for definitional programming has been developed. We give an overview of the project and of how declarative programming techniques are integrated with industrial strength object-oriented programming tools to facilitate the development of real-world applications.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Y. Ali, G. Falkman, L. Hallnäs, M. Jontell, N. Nazari, and O. Torgersson. Medview: Design and adoption of an interactive system for oral medicine. In A. Hasman, B. Blobel, J. Dudeck, R. Engelbrecht, G. Gell, and H.-U. Prokosch, editors, Medical Infobahn for Europe: Proceedings of MIE2000 and GMDS2000. IOS Press, 2000.

    Google Scholar 

  2. M. Aronsson. Methodology and programming techniques in GCLA II. In Extensions of logic programming, second international workshop, ELP’91, number 596 in Lecture Notes in Artificial Intelligence. Springer-Verlag, 1992.

    Google Scholar 

  3. M. Aronsson, L.-H. Eriksson, A. Gäredal, L. Hallnäs, and P. Olin. The programming language GCLA: A definitional approach to logic programming. New Generation Computing, 7(4):381–404, 1990.

    Article  Google Scholar 

  4. M. Carlsson and T. Hallgren. Fudgets: A graphical user interface in a lazy functional language. In FPCA’ 93-Conference on Functional Programming Languages and Computer Architecture, pages 321–330. ACM Press, 1993.

    Google Scholar 

  5. E. Denti, A. Omicini, and A. Ricci. tuProlog: a light-weight prolog for internet applications and infrastructures. In Proc. of the Third International Workshop on Practical Aspects of Declarative Languages (PADL’01), volume 1990 of Lecture Notes in Computer Science, pages 184–198. Springer-Verlag, 2001.

    Google Scholar 

  6. G. Falkman. Program separation and definitional higher order programming. Computer Languages, 23(2–4):179–206, 1997.

    Article  MATH  Google Scholar 

  7. G. Falkman. Similarity measures for structured representations: a definitional approach. In E. Blanzieri and L. Portinale, editors, EWCBR-2K, Advances in Case-Based Reasoning, Lecture Notes in Artificial Intelligence, pages 380–392. Springer-Verlag, 2000.

    Google Scholar 

  8. G. Falkman. Information visualization in clinical odontology: multidimensional analysis and interactive data exploration. Artificial Intelligence in Medicine, 22(2):133–158, 2001.

    Article  Google Scholar 

  9. L. Hallnäs. Partial inductive definitions. Theoretical Computer Science, 87(1):115–142, 1991.

    Article  MATH  MathSciNet  Google Scholar 

  10. M. Hanus. A functional logic programming approach to graphical user interfaces. In Proc. of the Second International Workshop on Practical Aspects of Declarative Languages (PADL’00), volume 1753 of Lecture Notes in Computer Science, pages 47–62. Springer-Verlag, 2000.

    Google Scholar 

  11. M. Hanus, H. Kuchen, and J. Moreno-Navarro. Curry: A truly functional logic language. In Proc. ILPS’95 Workshop on Visions for the Future of Logic Programming, pages 95–107, 1995.

    Google Scholar 

  12. P. Kreuger. GCLA II: A definitional approach to control. In Extensions of logic programming, second international workshop, ELP91, number 596 in Lecture Notes in Artificial Intelligence. Springer-Verlag, 1992.

    Google Scholar 

  13. Z. Somogyi, F. Henderson, and T. Conway. The execution algorithm of Mercury: an efficient purely declarative logic programming language. Journal of Logic Programming, 29(1–3):17–64, 1996.

    Article  MATH  Google Scholar 

  14. O. Torgersson. A definitional approach to functional logic programming. In R. Dyckhoff, H. Herre, and P. Schroeder-Heister, editors, Extensions of Logic Programming 5th International Workshop, ELP’96, number 1050 in Lecture Notes in Arti ficial Intelligence, pages 273–287. Springer-Verlag, 1996.

    Google Scholar 

  15. O. Torgersson. On GCLA, Gisela, and MedView: Studies in Declarative Programming with Application to Clinical Medicine. PhD thesis, Department of Computing Science, Chalmers University of Technology and Göteborg University, Göteborg, Sweden, 2000.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing Science, Chalmers University of Technology and Göteborg University, S-41296, Göteborg, Sweden

    Olof Torgersson

Authors
  1. Olof Torgersson
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Computer Science Department, Brown University, Box 1910, 02912, Providence, RI, USA

    Shriram Krishnamurthi

  2. Department of Computer Science, SUNY at Stony Brook, 11794-4400, Stony Brook, NY, USA

    C. R. Ramakrishnan

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Torgersson, O. (2002). Declarative Programming and Clinical Medicine On the Use of Gisela in the MedView Project. In: Krishnamurthi, S., Ramakrishnan, C.R. (eds) Practical Aspects of Declarative Languages. PADL 2002. Lecture Notes in Computer Science, vol 2257. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45587-6_6

Download citation

  • DOI: https://doi.org/10.1007/3-540-45587-6_6

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43092-6

  • Online ISBN: 978-3-540-45587-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation