Representing Mutually Exclusive Knowledge in a Property Hierarchy for a Reasoning System in Clinical Gynecology

The education and practice of clinical medicine can benefit significantly from the use of computational assistants. This article describes the development of a prototype system called SURGES (Strong/University of Rochester Gynecological Expert System) for representing medical knowledge and then applying this knowledge to suggest diagnostic procedures in medical gynecology. The paper focuses on the representation technique of property inheritance, which facilitates the simple common sense reasoning required to enable execution of the more complex medical inferences. Such common sense can be viewed as a collection mundane inferences, which are the simple conclusions drawn from knowledge that an exclusive or (XOR) relation (i.e., mutual exclusion) holds among a number of facts. The paper discusses the use of a property hierarchy for this purpose and shows how it simplifies knowledge representation in medical artificial intelligence (AIM) computer systems.