Skip to main content
SpringerLink
Log in
Book cover

Foundations of Biomedical Knowledge Representation pp 9–32Cite as

An Introduction to Knowledge Representation and Reasoning in Healthcare

  • Chapter
  • First Online:

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

Abstract

Healthcare and medicine are, and have always been, very knowledge-intensive fields. Healthcare professionals use knowledge of the structure (molecular biology, cell biology, histology, gross anatomy) and functioning of the human body as well as knowledge of methods and means, some of them described by clinical guidelines, to diagnose and manage disorders. In addition, knowledge of how healthcare is organised is essential for the management of a patient’s disease.

This is a preview of subscription content, 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 EPUB and 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

Learn about institutional subscriptions

References

  1. Ben-Ari, M., Manna, Z., Pnueli, A.: The temporal logic of branching time. Acta Inform. 20, 207–226 (1983)

    Article  MATH  MathSciNet  Google Scholar 

  2. Brachman, R.J.: What IS-A is and isn’t: an analysis of taxonomic links in semantic networks. IEEE Comput. 16(10), 30–36 (1983)

    Article  Google Scholar 

  3. Buchanan, B.G., Shortliffe, E.H.: Rule-Based Expert Systems: The MYCIN Experiments of the Stanford Heuristic Programming Project. Addison-Wesley, Reading (1984)

    Google Scholar 

  4. Clancey, W.J.: Heuristic classification. Artif. Intell. 27, 289–350 (1985)

    Article  Google Scholar 

  5. Clarke, E.M., Emerson, E.A.: Design and synthesis of synchronization skeletons using branching time temporal logic. In: Kozen, D. (ed.) Logic of Programs. LNCS, vol. 131, pp. 52–71. Springer, Heidelberg (1981)

    Google Scholar 

  6. Console, L., Theseider Dupré, D., Torasso, P.: A theory of diagnosis for incomplete causal models. In: Proceedings of the 10th International Joint Conference on Artificial Intelligence, pp. 1311–1317 (1989)

    Google Scholar 

  7. Cooper, G.F.: A method for using belief networks as influence diagrams. In: Proceedings of the 4th Workshop on Uncertainty in Artificial Intelligence, pp. 55–63 (1988)

    Google Scholar 

  8. de Kleer, J., Williams, B.C.: Diagnosing multiple faults. Artif. Intell. 32, 97–130 (1987)

    Article  MATH  Google Scholar 

  9. Downing, K.: Physiological applications of consistency-based diagnosis. Artif. Intell. Med. 5(1), 9–30 (1993)

    Article  Google Scholar 

  10. Emerson, E.A., Clarke, E.M.: Characterizing correctness properties of parallel programs using fixpoints. In: de Bakker, J., van Leeuwen, J. (eds.) Automata, Languages and Programming. LNCS, vol. 85, pp. 169–181. Springer, Heidelberg (1980)

    Google Scholar 

  11. Forbus, K.D., De Kleer, J.: Building Problem Solvers. The MIT Press, Cambridge (1993)

    MATH  Google Scholar 

  12. Glymour, C., Cooper, G.F.: Computation. Causation & Discovery. MIT Press, Menlo Park (1999)

    MATH  Google Scholar 

  13. Hitzler, P., et al. (eds.): OWL 2 Web Ontology Language: Primer. W3C Recommendation, 27 October 2009. http://www.w3.org/TR/owl2-primer/

  14. Lauritzen, S.L., Spiegelhalter, D.J.: Local computations with probabilities on graphical structures and their application to expert systems. J. R. Stat. Soc. (Ser. B) 50, 157–224 (1987)

    Google Scholar 

  15. Lucas, P.J.F.: The representation of medical reasoning models in resolution-based theorem provers. Artif. Intell. Med. 5(5), 395–414 (1993)

    Article  Google Scholar 

  16. W3C OWL Working Group. OWL 2 Web Ontology Language: Document Overview. W3C Recommendation, 27 October 2009. http://www.w3.org/TR/owl2-overview/

  17. Pearl, J.: Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufmann, Palo Alto (1988)

    Google Scholar 

  18. Peng, Y., Reggia, J.A.: Abductive Inference Models for Diagnostic Problem Solving. Springer, New York (1990)

    Book  MATH  Google Scholar 

  19. Pnuelli, A.: A temporal logic of concurrent programs. Theor. Comput. Sci. 13, 45–60 (1981)

    Article  Google Scholar 

  20. Poole, D.: Explanation and prediction: an architecture for default and abductive reasoning. Comput. Intell. 5(2), 97–110 (1989)

    Article  Google Scholar 

  21. Pople, H.E.: Heuristic methods for imposing structure on ill-structured problems: the structure of medical diagnostics. In: Szolovits, P. (ed.) Artificial Intelligence in Medicine. AAAS Selected Symposium, vol. 51, pp. 119–190. Westview Press, Boulder (1982)

    Google Scholar 

  22. Reiter, R.: A theory of diagnosis from first principles. Artif. Intell. 32, 57–95 (1987)

    Article  MATH  MathSciNet  Google Scholar 

  23. Szolovits, P.: Artificial Intelligence in Medicine. AAAS Selected Symposium, vol. 51. Westview Press, Boulder (1982)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute for Computing and Information Sciences, Radboud University, Nijmegen, The Netherlands

    Arjen Hommersom & Peter J. F. Lucas

  2. Faculty of Management, Science and Technology, Open University, Heerlen, The Netherlands

    Arjen Hommersom

  3. LIACS, Leiden University, Leiden, The Netherlands

    Peter J. F. Lucas

Authors
  1. Arjen Hommersom
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Peter J. F. Lucas
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Arjen Hommersom .

Editor information

Editors and Affiliations

  1. Inst. for Computing and Inf. Sciences, Radboud University, Nijmegen, The Netherlands

    Arjen Hommersom

  2. Inst. for Computing and Inf. Sciences, Radboud University, Nijmegen, Gelderland, The Netherlands

    Peter J.F. Lucas

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this chapter

Cite this chapter

Hommersom, A., Lucas, P.J.F. (2015). An Introduction to Knowledge Representation and Reasoning in Healthcare. In: Hommersom, A., Lucas, P. (eds) Foundations of Biomedical Knowledge Representation. Lecture Notes in Computer Science(), vol 9521. Springer, Cham. https://doi.org/10.1007/978-3-319-28007-3_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-28007-3_2

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-28006-6

  • Online ISBN: 978-3-319-28007-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation