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