An Introduction to Knowledge Representation and Reasoning in Healthcare

  • Arjen Hommersom
  • Peter J. F. Lucas
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9521)


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.


Bayesian Network Temporal Logic Knowledge Representation Linear Temporal Logic Horn Clause 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Ben-Ari, M., Manna, Z., Pnueli, A.: The temporal logic of branching time. Acta Inform. 20, 207–226 (1983)zbMATHMathSciNetCrossRefGoogle Scholar
  2. 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)CrossRefGoogle Scholar
  3. 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. 4.
    Clancey, W.J.: Heuristic classification. Artif. Intell. 27, 289–350 (1985)CrossRefGoogle Scholar
  5. 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. 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. 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. 8.
    de Kleer, J., Williams, B.C.: Diagnosing multiple faults. Artif. Intell. 32, 97–130 (1987)zbMATHCrossRefGoogle Scholar
  9. 9.
    Downing, K.: Physiological applications of consistency-based diagnosis. Artif. Intell. Med. 5(1), 9–30 (1993)CrossRefGoogle Scholar
  10. 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. 11.
    Forbus, K.D., De Kleer, J.: Building Problem Solvers. The MIT Press, Cambridge (1993)zbMATHGoogle Scholar
  12. 12.
    Glymour, C., Cooper, G.F.: Computation. Causation & Discovery. MIT Press, Menlo Park (1999)zbMATHGoogle Scholar
  13. 13.
    Hitzler, P., et al. (eds.): OWL 2 Web Ontology Language: Primer. W3C Recommendation, 27 October 2009.
  14. 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. 15.
    Lucas, P.J.F.: The representation of medical reasoning models in resolution-based theorem provers. Artif. Intell. Med. 5(5), 395–414 (1993)CrossRefGoogle Scholar
  16. 16.
    W3C OWL Working Group. OWL 2 Web Ontology Language: Document Overview. W3C Recommendation, 27 October 2009.
  17. 17.
    Pearl, J.: Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufmann, Palo Alto (1988)Google Scholar
  18. 18.
    Peng, Y., Reggia, J.A.: Abductive Inference Models for Diagnostic Problem Solving. Springer, New York (1990)zbMATHCrossRefGoogle Scholar
  19. 19.
    Pnuelli, A.: A temporal logic of concurrent programs. Theor. Comput. Sci. 13, 45–60 (1981)CrossRefGoogle Scholar
  20. 20.
    Poole, D.: Explanation and prediction: an architecture for default and abductive reasoning. Comput. Intell. 5(2), 97–110 (1989)CrossRefGoogle Scholar
  21. 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. 22.
    Reiter, R.: A theory of diagnosis from first principles. Artif. Intell. 32, 57–95 (1987)zbMATHMathSciNetCrossRefGoogle Scholar
  23. 23.
    Szolovits, P.: Artificial Intelligence in Medicine. AAAS Selected Symposium, vol. 51. Westview Press, Boulder (1982)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  1. 1.Institute for Computing and Information SciencesRadboud UniversityNijmegenThe Netherlands
  2. 2.Faculty of Management, Science and TechnologyOpen UniversityHeerlenThe Netherlands
  3. 3.LIACSLeiden UniversityLeidenThe Netherlands

Personalised recommendations