Inconsistencies in health care knowledge

Abstract

In this paper we focus in health care knowledge, specified by hybrid formulas, representing flows of medical assistance in the care delivery process in a hospital. As in standard knowledgebases inconsistencies may arise. In fact, Medical Informatics is one field where the ability to reason with inconsistent information is crucial. Patients can receive different, and moreover contradictory, diagnoses from different physicians, and the same can happen with medical treatments: they can exhibit contradictory symptoms. We introduce a paraconsistent version of multimodal hybrid logic to help with this medical issue, specially through the diagnosis.