Abstract
We present an argumentation model to explain the optimal treatment plans recommended by a Satisfiability Modulo Theories solver for multimorbid patients. The resulting framework can be queried to obtain supporting reasons for nodes on a path following a model of argumentation schemes. The modelling approach is generic and can be used for justifying similar sequences.
Original language | English |
---|---|
Title of host publication | PRIMA 2020: Principles and Practice of Multi-Agent Systems |
Subtitle of host publication | 23rd International Conference, Nagoya, Japan, November 18–20, 2020, Proceedings |
Editors | Takahiro Uchiya, Quan Bai, Iván Marsá Maestre |
Place of Publication | Cham |
Publisher | Springer |
Pages | 394-402 |
Number of pages | 9 |
ISBN (Electronic) | 9783030693220 |
ISBN (Print) | 9783030693213 |
DOIs | |
Publication status | Published - 2021 |
Event | 23rd International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2020 - Online Duration: 18 Nov 2020 → 20 Nov 2020 Conference number: 23 http://uchiya.web.nitech.ac.jp/prima2020/index.html |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 12568 LNCS |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 23rd International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2020 |
---|---|
Abbreviated title | PRIMA 2020 |
Period | 18/11/20 → 20/11/20 |
Internet address |
Keywords
- Multimorbidity
- Argumentation schemes
- SMT solvers