Abstract
We present an executable formalism for clinical practice guidelines, with the aim of providing pervasive and evidence-based decision support to patients. Unlike traditional formalisms that capture the control flow between tasks, we focus on data flow, with tasks modeled as processes that execute in parallel. By parallelizing and distributing guideline knowledge, each device that constitutes the patient’s pervasive healthcare system can provide decision support independently, avoiding single points of failure. This distribution also enables dynamic system re-configurations, increasing its resilience against evolving requirements and changing communications environments. Our model recognizes four types of processes: Monitoring, Analysis, Decision and Effectuation. These processes were specified using (axiomatic) set theory and implemented as a set of libraries on top of Rosette, which supports execution of the formalism and verification of it using constraint solvers. The formalism was also tested by formalizing a complete clinical guideline for diabetes management, which yielded a Rosette program that was then tested on simulated patient data. The major point of clinical relevance is enhancing the quality and safety of decision support delivered to patients.
Original language | English |
---|---|
Title of host publication | Artificial Intelligence in Medicine |
Subtitle of host publication | 18th International Conference on Artificial Intelligence in Medicine, AIME 2020, Proceedings |
Editors | Martin Michalowski, Robert Moskovitch |
Publisher | Springer |
Pages | 427-439 |
Number of pages | 13 |
ISBN (Electronic) | 978-3-030-59137-3 |
ISBN (Print) | 978-3-030-59136-6 |
DOIs | |
Publication status | Published - 26 Sept 2020 |
Event | 18th International Conference on Artificial Intelligence in Medicine, AIME 2020 - Virtual Conference, United States Duration: 25 Aug 2020 → 28 Aug 2020 Conference number: 18 |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 12299 LNAI |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 18th International Conference on Artificial Intelligence in Medicine, AIME 2020 |
---|---|
Abbreviated title | AIME 2020 |
Country/Territory | United States |
City | Virtual Conference |
Period | 25/08/20 → 28/08/20 |
Keywords
- Computerized clinical practice guidelines
- Data flow modeling
- Diabetes management
- Formal specification
- Knowledge representation
- Pervasive healthcare
- Verification and validation
- 22/2 OA procedure