NDLI: An Algebraic Approach to Detect Logical Inconsistencies in Medical Appropriateness Criteria

Content Provider	IEEE Xplore Digital Library
Author	Garcia-Remesal, M. Maojo, V. Laita, L. Roanes-Lozano, E. Crespo, J.
Copyright Year	2007
Description	Author affiliation: Univ. Politec. de Madrid, Madrid (Garcia-Remesal, M.; Maojo, V.)
Abstract	In this paper, we present a computerized approach to detect inconsistencies in medical knowledge bases. The method has been applied to a set of medical appropriateness criteria developed for the review of coronary artery disease management. One of the main problems associated to medical appropriateness criteria is to detect logical inconsistencies in the criteria set, a process often manually carried out by health services specialists. In our approach, appropriateness criteria are automatically translated to rules containing propositional variables, using three-valued Lukasiewicz's logic augmented with modal operators to manage uncertainty. The method assigns a polynomial to each of the rules, integrity constraints, and facts from the rule-based set. This rule set is then checked for inconsistencies. The problem of determining if a formula is a tautological consequence of a set of formulae is reduced by our method into an ideal membership problem in computer algebra. Finally, the set of medical appropriateness criteria is represented in a flowchart format that can be disseminated and remotely accessed over Internet, and can be prospectively used for patient care and management. The method reported in this paper can be applied to other knowledge bases represented by means of IF-THEN rules.
Starting Page	5148
Ending Page	5151
File Size	295499
Page Count	4
File Format	PDF
ISBN	9781424407873
ISSN	1557170X
DOI	10.1109/IEMBS.2007.4353499
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2007-08-22
Publisher Place	France
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Diseases Surgery Algebra Flowcharts Knowledge based systems Coronary arteriosclerosis Testing Natural languages Measurement uncertainty Logic
Content Type	Text
Resource Type	Article
Subject	Signal Processing Biomedical Engineering Health Informatics Computer Vision and Pattern Recognition

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Independent Component Analysis of Parameterized ECG Signals

Child vocalization composition as discriminant information for automatic autism detection

Towards unified electromagnetic tracking system assessment-static errors

Ultrasonic Doppler Vibrometry: Measurement of Left Ventricular Wall Vibrations Associated With Coronary Artery Disease

A study into salivary-based measurement of human stress subjected to ellestad stress test protocol

A Coronary Pulse Wave Velocity Measurement System

To Detect Lung Ventilation with Multi-frequency EIT System

Biomedical Engineer: an International Job

In Vivo MR Coronary Artery Imaging in Mice

An Algebraic Approach to Detect Logical Inconsistencies in Medical Appropriateness Criteria

Similar Documents

Independent Component Analysis of Parameterized ECG Signals

Child vocalization composition as discriminant information for automatic autism detection

Towards unified electromagnetic tracking system assessment-static errors

Ultrasonic Doppler Vibrometry: Measurement of Left Ventricular Wall Vibrations Associated With Coronary Artery Disease

A study into salivary-based measurement of human stress subjected to ellestad stress test protocol

A Coronary Pulse Wave Velocity Measurement System

To Detect Lung Ventilation with Multi-frequency EIT System

Biomedical Engineer: an International Job

In Vivo MR Coronary Artery Imaging in Mice

An Algebraic Approach to Detect Logical Inconsistencies in Medical Appropriateness Criteria