Knowledge Representation for Cooperative Medical Systems
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.
KeywordsUrinary Tract Infection Pneumocystis Pneumonia Default Theory Default Reasoning Attribute Link
Unable to display preview. Download preview PDF.
- Brachman RJ (1983). What IS-A is and Isn’t: an analysis of taxonomic links in semantic networks. Computer 16: 30–36Google Scholar
- Brachman RJ and Levesque HJ (1984). The tractability of subsumption in frame-based description languages, in Proc AAAI-84 34–037Google Scholar
- 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
- Etherington DW (1987). Formalizing nonmonotonic reasoning systems. Artificial Intelligence 31: 41–85.Google Scholar
- Etherington DW and Reiter R (1983). On inheritance hierarchies with exceptions, in Proceedings of AAI-83 pp 104–108.Google Scholar
- 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
- 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
- Froidevaux C (1986). Taxonomic default theory, in Proceedings of ECAI-86. pp 123–129Google Scholar
- 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
- Rector, AL (1987). Defaults, exceptions and ambiguity in a medical knowledge representation system. Medical informatics 11: 296–306.Google Scholar
- Touretzky DS. (1984) The Mathematics of Inheritance Systems, unpublished PhD thesis, Computer Science Department, Carnegie-Mellon University, Pittsburg, Pennsylvania 15213, USA.Google Scholar