11 research outputs found
Temporal Conformance Analysis and Explanation of Clinical Guidelines Execution: An Answer Set Programming Approach
Conformance Analysis of Execution Traces with Clinical Guidelines and Basic Medical Knowledge in Answer Set Programming
Conformance Analysis of the Execution of Clinical Guidelines with Basic Medical Knowledge and Clinical Terminology
Conformance Analysis of Execution Traces with Clinical Guidelines and Basic Medical Knowledge in Answer Set Programming
Conformance Analysis of Execution Traces with Clinical Guidelines and Basic Medical Knowledge in Answer Set Programming ⋆
Abstract. Clinical Guidelines (CGs) are developed for specifying the “best ” clinical procedures for specific clinical circumstances. However, a CG is executed on a specific patient, with her peculiarities, and in a specific context, with its limitations and constraints. Physicians have to use Basic Medical Knowledge (BMK) in order to adapt the general CG to each specific case, even if the interplay between CGs and the BMK can be very complex. In this paper, we focus on a posteriori analysis of conformance, intended as the adherence of an observed CG execution trace to CG and BMK knowledge. A CG description in the GLARE language is mapped to Answer Set Programming (ASP); the BMK and conformance rules are also represented in ASP, to perform conformance analysis, identifying non-adherence situations to CG and/or BMK, which must ultimately be evaluated by a physician in order to assess whether a trace can be considered as conformant or not.
Business process verification with constraint temporal answer set programming
The paper provides a framework for the verification of business
processes, based on an extension of answer set programming
(ASP) with temporal logic and constraints. The framework
allows to capture expressive fluent annotations as well as data
awareness in a uniform way. It allows for a declarative
specification of a business process but also for encoding
processes specified in conventional workflow languages.
Verification of temporal properties of a business process,
including verification of compliance to business rules, is
performed by bounded model checking techniques in Answer
Set Programming, extended with constraint solving for dealing
with conditions on numeric data
Associazione tra determinanti “family-based” e fattori di rischio per la salute in età pediatrica: fotografia di un campione di bambini della regione Lazio
I fattori socioeconomici familiari rappresentano noti determinanti di salute per i bambin