A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation
In this paper we present web-liver, a rule-based system for decision support in the medical domain, focusing on its application in a liver transplantation unit for implementing policies for donor-patient matching. The rule-based system is built on top of an interpreter for logic programs with partia...
Main Authors: | , , , , , |
---|---|
Format: | Article |
Language: | English |
Published: |
Open Publishing Association
2019-09-01
|
Series: | Electronic Proceedings in Theoretical Computer Science |
Online Access: | http://arxiv.org/pdf/1909.08248v1 |
id |
doaj-57477e946cf74df79838bd72ed40e886 |
---|---|
record_format |
Article |
spelling |
doaj-57477e946cf74df79838bd72ed40e8862020-11-25T01:07:48ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802019-09-01306Proc. ICLP 201926627210.4204/EPTCS.306.31:117A Rule-Based System for Explainable Donor-Patient Matching in Liver TransplantationFelicidad Aguado0Pedro Cabalar1Jorge Fandinno2Brais Muñiz3Gilberto Pérez4Francisco Suárez5 IRLab, CITIC Research Center, University of A Coruña, Spain IRLab, CITIC Research Center, University of A Coruña, Spain University of Potsdam, Germany IRLab, CITIC Research Center, University of A Coruña, Spain IRLab, CITIC Research Center, University of A Coruña, Spain Digestive Service, Complexo Hospitalario Universitario de A Coruña (CHUAC), Instituto de Investigación Biomédica de A Coruña (INIBIC), Coruña, Spain In this paper we present web-liver, a rule-based system for decision support in the medical domain, focusing on its application in a liver transplantation unit for implementing policies for donor-patient matching. The rule-based system is built on top of an interpreter for logic programs with partial functions, called lppf, that extends the paradigm of Answer Set Programming (ASP) adding two main features: (1) the inclusion of partial functions and (2) the computation of causal explanations for the obtained solutions. The final goal of web-liver is assisting the medical experts in the design of new donor-patient matching policies that take into account not only the patient severity but also the transplantation utility. As an example, we illustrate the tool behaviour with a set of rules that implement the utility index called SOFT.http://arxiv.org/pdf/1909.08248v1 |
collection |
DOAJ |
language |
English |
format |
Article |
sources |
DOAJ |
author |
Felicidad Aguado Pedro Cabalar Jorge Fandinno Brais Muñiz Gilberto Pérez Francisco Suárez |
spellingShingle |
Felicidad Aguado Pedro Cabalar Jorge Fandinno Brais Muñiz Gilberto Pérez Francisco Suárez A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation Electronic Proceedings in Theoretical Computer Science |
author_facet |
Felicidad Aguado Pedro Cabalar Jorge Fandinno Brais Muñiz Gilberto Pérez Francisco Suárez |
author_sort |
Felicidad Aguado |
title |
A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation |
title_short |
A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation |
title_full |
A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation |
title_fullStr |
A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation |
title_full_unstemmed |
A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation |
title_sort |
rule-based system for explainable donor-patient matching in liver transplantation |
publisher |
Open Publishing Association |
series |
Electronic Proceedings in Theoretical Computer Science |
issn |
2075-2180 |
publishDate |
2019-09-01 |
description |
In this paper we present web-liver, a rule-based system for decision support in the medical domain, focusing on its application in a liver transplantation unit for implementing policies for donor-patient matching. The rule-based system is built on top of an interpreter for logic programs with partial functions, called lppf, that extends the paradigm of Answer Set Programming (ASP) adding two main features: (1) the inclusion of partial functions and (2) the computation of causal explanations for the obtained solutions. The final goal of web-liver is assisting the medical experts in the design of new donor-patient matching policies that take into account not only the patient severity but also the transplantation utility. As an example, we illustrate the tool behaviour with a set of rules that implement the utility index called SOFT. |
url |
http://arxiv.org/pdf/1909.08248v1 |
work_keys_str_mv |
AT felicidadaguado arulebasedsystemforexplainabledonorpatientmatchinginlivertransplantation AT pedrocabalar arulebasedsystemforexplainabledonorpatientmatchinginlivertransplantation AT jorgefandinno arulebasedsystemforexplainabledonorpatientmatchinginlivertransplantation AT braismuniz arulebasedsystemforexplainabledonorpatientmatchinginlivertransplantation AT gilbertoperez arulebasedsystemforexplainabledonorpatientmatchinginlivertransplantation AT franciscosuarez arulebasedsystemforexplainabledonorpatientmatchinginlivertransplantation AT felicidadaguado rulebasedsystemforexplainabledonorpatientmatchinginlivertransplantation AT pedrocabalar rulebasedsystemforexplainabledonorpatientmatchinginlivertransplantation AT jorgefandinno rulebasedsystemforexplainabledonorpatientmatchinginlivertransplantation AT braismuniz rulebasedsystemforexplainabledonorpatientmatchinginlivertransplantation AT gilbertoperez rulebasedsystemforexplainabledonorpatientmatchinginlivertransplantation AT franciscosuarez rulebasedsystemforexplainabledonorpatientmatchinginlivertransplantation |
_version_ |
1725185269982822400 |