{"title":"卫生保健知识不一致","authors":"Diana Costa, M. Martins","doi":"10.1109/HealthCom.2014.7001810","DOIUrl":null,"url":null,"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.","PeriodicalId":269964,"journal":{"name":"2014 IEEE 16th International Conference on e-Health Networking, Applications and Services (Healthcom)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2014-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"Inconsistencies in health care knowledge\",\"authors\":\"Diana Costa, M. Martins\",\"doi\":\"10.1109/HealthCom.2014.7001810\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":269964,\"journal\":{\"name\":\"2014 IEEE 16th International Conference on e-Health Networking, Applications and Services (Healthcom)\",\"volume\":\"18 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2014-10-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2014 IEEE 16th International Conference on e-Health Networking, Applications and Services (Healthcom)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/HealthCom.2014.7001810\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2014 IEEE 16th International Conference on e-Health Networking, Applications and Services (Healthcom)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/HealthCom.2014.7001810","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
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.