AIME 87 pp 104-111 | Cite as

Knowledge Representation for Cooperative Medical Systems

  • A. L. Rector
Conference paper
Part of the Lecture Notes in Medical Informatics book series (LNMED, volume 33)


This paper describes the rationale for the structured portion of a medical knowledge representation system which supports browsing, mixed initiative advice, and multi-level reasoning, the IMMEDIATE Representation Language (IRL). The system has been developed in the course a programme to develop decision support and information systems for general practitioners based on intelligent medical record systems. Although various inheritance networks in frame-like formalisms are popular for medical applications, there are few principled accounts of their functions in medical systems. Most existing systems omit important features needed to manage general medical knowledge.


Urinary Tract Infection Pneumocystis Pneumonia Default Theory Default Reasoning Attribute Link 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Brachman RJ (1983). What IS-A is and Isn’t: an analysis of taxonomic links in semantic networks. Computer 16: 30–36Google Scholar
  2. Brachman RJ and Levesque HJ (1984). The tractability of subsumption in frame-based description languages, in Proc AAAI-84 34–037Google Scholar
  3. Clancey WJ (1985). Heuristic Classifiction. Artificial Intelligence 27 289–350CrossRefGoogle Scholar
  4. Gale J and Marsden P (1985). Diagnosis; process not product, in MG Sheldon JB Brooke and AL Rector (eds) Decision Making in General Practice Macmillan Press Ltd, London, pp 59–91.Google Scholar
  5. Etherington DW (1987). Formalizing nonmonotonic reasoning systems. Artificial Intelligence 31: 41–85.Google Scholar
  6. Etherington DW and Reiter R (1983). On inheritance hierarchies with exceptions, in Proceedings of AAI-83 pp 104–108.Google Scholar
  7. Fahlman SE, Touretzky DS & van Roggen W (1981). Cancellation in a Parallel Semantic Network, in Proceedings of IJCAI-81 William Kaufman Inc, Los Altos, California pp 257–263.Google Scholar
  8. Fox J, Duncan T, Frost D, and Preston N (1986). The PROPS2 Primer internal report. Imperial Cancer Research Fund, Lincoln’s Inn Fields, London.Google Scholar
  9. Froidevaux C (1986). Taxonomic default theory, in Proceedings of ECAI-86. pp 123–129Google Scholar
  10. Patel VL and Groen GJ (1986). Knowlege based solution strategies in medical reasoning. Cognitive Science 10: 91–116CrossRefGoogle Scholar
  11. Pople HE (1982). Heuristic methods for imposing structure on ill-structured problems, in P Szolovitis (ed) Artificial Intelligence in Medicine AAAS Symposium 51, Westview Press Inc. Boulder Colorado.Google Scholar
  12. Rector, AL (1987). Defaults, exceptions and ambiguity in a medical knowledge representation system. Medical informatics 11: 296–306.Google Scholar
  13. Reiter R (1980). A logic for default reasoning. Artificial Intelligence 13: 81–132.CrossRefGoogle Scholar
  14. Touretzky DS. (1984) The Mathematics of Inheritance Systems, unpublished PhD thesis, Computer Science Department, Carnegie-Mellon University, Pittsburg, Pennsylvania 15213, USA.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • A. L. Rector
    • 1
  1. 1.Department of Computer ScienceUniversity of ManchesterManchesterUK

Personalised recommendations