Skip to main content
Top

2018 | OriginalPaper | Chapter

Formal Methods, Artificial Intelligence, Big-Data Analytics, and Knowledge Engineering in Medical Care to Reduce Disease Burden and Health Disparities

Authors : Sakthi Ganesh, Asoke K. Talukder

Published in: Big Data Analytics

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

Medical errors and overtreatment combined with growing non-communicable disease population are responsible for increase in the burden of disease and health disparity. To control this burden and disparity, automation with zero defects must be introduced in evidence based medicine. In safety critical systems, zero defects are achieved through formal methods. A formal model is tested (proved) and the target system is generated through automation with the removal of error prone programming or construction phase. Inspired by similar ideas, we created DocDx, a novel formal method driven medical care framework without any programming phase involved. We convert clinical pathways into a multipartite directed weighted graph (MDWG) that embeds the medical intelligence. The autonomous interpreters in the server presents natural language generator (NLG) pathophysiology questions a doctor would normally ask a patient to understand the signs and symptoms of a disease. The biological terms and human understandable unstructured text entered in DocDx client is made machine understandable through AI NLP engine and translated into biomedical ontology concepts. A new medical condition or presentation of disease in DocDx will need a new clinical pathway translated into a MDWG without the need for any programming or application development process either at the client or at the server end.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literature
1.
go back to reference Makary, M.A., Daniel, M.: Medical error-the third leading cause of death in the US. BMJ 3(353), i2139 (2016)CrossRef Makary, M.A., Daniel, M.: Medical error-the third leading cause of death in the US. BMJ 3(353), i2139 (2016)CrossRef
3.
go back to reference Osborn, R., Squires, D., Doty, M.M., Sarnak, D.O., Schneider, E.C.: In new survey of eleven countries, US Adults still struggle with access to and affordability of health care. Health Aff (Millwood) 35(12), 2327–2336 (2016). Epub 16 Nov 2016CrossRef Osborn, R., Squires, D., Doty, M.M., Sarnak, D.O., Schneider, E.C.: In new survey of eleven countries, US Adults still struggle with access to and affordability of health care. Health Aff (Millwood) 35(12), 2327–2336 (2016). Epub 16 Nov 2016CrossRef
5.
go back to reference Van Such, M., Lohr, R., Beckman, T., Naessens, J.M.: Extent of diagnostic agreement among medical referrals. J. Eval. Clin. Pract. 4, 870–874 (2017)CrossRef Van Such, M., Lohr, R., Beckman, T., Naessens, J.M.: Extent of diagnostic agreement among medical referrals. J. Eval. Clin. Pract. 4, 870–874 (2017)CrossRef
6.
go back to reference Seiden, S.C., Barach, P.: Wrong-side/wrong-site, wrong-procedure, and wrong-patient adverse events: Are they preventable? Arch. Surg. 141(9), 931–939 (2006)CrossRef Seiden, S.C., Barach, P.: Wrong-side/wrong-site, wrong-procedure, and wrong-patient adverse events: Are they preventable? Arch. Surg. 141(9), 931–939 (2006)CrossRef
7.
go back to reference Mehta, Y., et al.: Guidelines for prevention of hospital acquired infections. Indian J. Crit. Care Med. 18(3), 149–163 (2014)MathSciNetCrossRef Mehta, Y., et al.: Guidelines for prevention of hospital acquired infections. Indian J. Crit. Care Med. 18(3), 149–163 (2014)MathSciNetCrossRef
9.
go back to reference Goldstein, H.H., von Neumann, J.: Planning and coding problems for an electronic computing instrument (1947). Part II, vol I. Rep. prepared for the U.S. Army Ordinance Dept., 1947. Reprinted in von Neumann, J. Collected Works, Vol. V, A.H. Taub, ed., McMillan, New York, pp. 80–151 (1947) Goldstein, H.H., von Neumann, J.: Planning and coding problems for an electronic computing instrument (1947). Part II, vol I. Rep. prepared for the U.S. Army Ordinance Dept., 1947. Reprinted in von Neumann, J. Collected Works, Vol. V, A.H. Taub, ed., McMillan, New York, pp. 80–151 (1947)
11.
go back to reference Lecomte, T., Servat, T., Pouzancre, G.: Formal methods in safety-critical railway systems. In: Proceedings of Brazilian Symposium on Formal Methods: SMBF 2007 (2007) Lecomte, T., Servat, T., Pouzancre, G.: Formal methods in safety-critical railway systems. In: Proceedings of Brazilian Symposium on Formal Methods: SMBF 2007 (2007)
12.
go back to reference Talukder, A.K., Chaitanya, M.: Architecting Secure Software Systems. Auerbach Publications, Boston (2008)CrossRef Talukder, A.K., Chaitanya, M.: Architecting Secure Software Systems. Auerbach Publications, Boston (2008)CrossRef
13.
go back to reference Kunin, C.M.: Detection, Prevention and Management of Urinary Tract Infections. 2nd Revised edn. Lea & Febiger, U.S. (1974) Kunin, C.M.: Detection, Prevention and Management of Urinary Tract Infections. 2nd Revised edn. Lea & Febiger, U.S. (1974)
14.
go back to reference Djulbegovic, B.: Reasoning and Decision Making in Hematology. Churchill Living-stone (1992) Djulbegovic, B.: Reasoning and Decision Making in Hematology. Churchill Living-stone (1992)
16.
go back to reference Panella, M., Marchisio, S., Di Stanislao, F.: Reducing clinical variations with clinical pathways: do pathways work? Int. J. Qual. Health Care 15(6), 509–521 (2003)CrossRef Panella, M., Marchisio, S., Di Stanislao, F.: Reducing clinical variations with clinical pathways: do pathways work? Int. J. Qual. Health Care 15(6), 509–521 (2003)CrossRef
17.
go back to reference Rotter, T., et al.: The effects of clinical pathways on professional practice, patient outcomes, length of stay, and hospital costs: Cochrane systematic review and meta-analysis. Eval. Health Prof. 35(1), 3–27 (2012). Epub 24 May 2011CrossRef Rotter, T., et al.: The effects of clinical pathways on professional practice, patient outcomes, length of stay, and hospital costs: Cochrane systematic review and meta-analysis. Eval. Health Prof. 35(1), 3–27 (2012). Epub 24 May 2011CrossRef
19.
go back to reference Schubart, J.R., Fowler, C.E., Donowitz, G.R., Connors Jr., A.F.: Algorithm-based Decision Rules to Safely Reduce Laboratory Test Ordering. MEDINFO 2001, IOS Press (2001) Schubart, J.R., Fowler, C.E., Donowitz, G.R., Connors Jr., A.F.: Algorithm-based Decision Rules to Safely Reduce Laboratory Test Ordering. MEDINFO 2001, IOS Press (2001)
20.
go back to reference Eaton, K.P., et al.: Evidence-based guidelines to eliminate repetitive laboratory testing. JAMA Int. Med. 177(12),1833–1839 (2017)CrossRef Eaton, K.P., et al.: Evidence-based guidelines to eliminate repetitive laboratory testing. JAMA Int. Med. 177(12),1833–1839 (2017)CrossRef
21.
go back to reference Heckerman, D.E., Horvitz, E.J., Nathwani, B.N.: Toward normative expert systems: part I The Pathfinder project. Methods Inf. Med. 31(2), 90–105 (1992)CrossRef Heckerman, D.E., Horvitz, E.J., Nathwani, B.N.: Toward normative expert systems: part I The Pathfinder project. Methods Inf. Med. 31(2), 90–105 (1992)CrossRef
22.
go back to reference Heckerman, D.E., Nathwani, B.N.: Toward normative expert systems: Part II. Probability-based representations for efficient knowledge acquisition and inference. Methods Inf. Med. 31(2), 106–116 (1992)CrossRef Heckerman, D.E., Nathwani, B.N.: Toward normative expert systems: Part II. Probability-based representations for efficient knowledge acquisition and inference. Methods Inf. Med. 31(2), 106–116 (1992)CrossRef
23.
go back to reference Nathwani, B.N., et al.: Evaluation of an expert system on lymph node pathology. Hum. Pathol. 28(9), 1097–1110 (1997)CrossRef Nathwani, B.N., et al.: Evaluation of an expert system on lymph node pathology. Hum. Pathol. 28(9), 1097–1110 (1997)CrossRef
26.
go back to reference Campbell, W.S., et al.: An alternative database approach for management of SNOMED CT and improved patient data queries. J. Biomed. Inform. 57, 350–357 (2015)CrossRef Campbell, W.S., et al.: An alternative database approach for management of SNOMED CT and improved patient data queries. J. Biomed. Inform. 57, 350–357 (2015)CrossRef
27.
go back to reference Robertson-Steel, I.: Evolution of triage systems. Emerg. Med. J. 23(2), 154–155 (2016)CrossRef Robertson-Steel, I.: Evolution of triage systems. Emerg. Med. J. 23(2), 154–155 (2016)CrossRef
28.
go back to reference Briggs, J.K. (ed.) Telephone Triage Protocols for Nurses. Lippincott, Philadelphia (2002) Briggs, J.K. (ed.) Telephone Triage Protocols for Nurses. Lippincott, Philadelphia (2002)
30.
go back to reference Bezreh, T., Laws, M.B., Taubin, T., Rifkin, D.E., Wilson, I.B.: Challenges to physician–patient communication about medication use: a window into the skeptical patient’s world. Patient Prefer. Adherence 2012(6), 11–18 (2011) Bezreh, T., Laws, M.B., Taubin, T., Rifkin, D.E., Wilson, I.B.: Challenges to physician–patient communication about medication use: a window into the skeptical patient’s world. Patient Prefer. Adherence 2012(6), 11–18 (2011)
31.
go back to reference Congdon, P.: Spatiotemporal Frameworks for Infectious Disease Diffusion and Epidemiology. Int. J. Environ. Res. Public Health 13(12), 1261 (2016)CrossRef Congdon, P.: Spatiotemporal Frameworks for Infectious Disease Diffusion and Epidemiology. Int. J. Environ. Res. Public Health 13(12), 1261 (2016)CrossRef
Metadata
Title
Formal Methods, Artificial Intelligence, Big-Data Analytics, and Knowledge Engineering in Medical Care to Reduce Disease Burden and Health Disparities
Authors
Sakthi Ganesh
Asoke K. Talukder
Copyright Year
2018
DOI
https://doi.org/10.1007/978-3-030-04780-1_21

Premium Partner