Formal Logic and Flowchart for Diagnosis Validity Verification and Inclusion in Clinical Decision Support Systems

20th Argentinean Bioengineering Society Congress

物理学;生物科学

Sosa, M.^1 ; Grundel, L.^1 ; Simini, F.^1

Nucleo de Ingenieria Biomédica, Facultades de Medicina e Ingenieria, Universidad de la Republica, Montevideo

11600, Uruguay^1

关键词: Acute myocardial infarction;    Clinical decision support systems;    Complex protocols;    Diagnostic process;    Logic expressions;    Medical information;    Mutual interaction;    Validity verifications;   

Others  :  https://iopscience.iop.org/article/10.1088/1742-6596/705/1/012048/pdf
DOI  :  10.1088/1742-6596/705/1/012048

学科分类：生物科学（综合）

来源: IOP

【 摘 要 】

Logical reasoning is part of medical practice since its origins. Modern Medicine has included information-intensive tools to refine diagnostics and treatment protocols. We are introducing formal logic teaching in Medical School prior to Clinical Internship, to foster medical practice. Two simple examples (Acute Myocardial Infarction and Diabetes Mellitus) are given in terms of formal logic expression and truth tables. Flowcharts of both diagnostic processes help understand the procedures and to validate them logically. The particularity of medical information is that it is often accompanied by "missing data" which suggests to adapt formal logic to a "three state" logic in the future. Medical Education must include formal logic to understand complex protocols and best practices, prone to mutual interactions.