Show simple item record

Files in this item


Item metadata

dc.contributor.authorShaheen, Qurat-ul-ain
dc.contributor.authorToniolo, Alice
dc.contributor.authorKuster Filipe Bowles, Juliana
dc.contributor.editorGutiérrez Basulto, Victor
dc.contributor.editorKliegr, Tomáš
dc.contributor.editorSoylu, Ahmet
dc.contributor.editorGiese, Martin
dc.contributor.editorRoman, Dumitru
dc.identifier.citationShaheen , Q , Toniolo , A & Kuster Filipe Bowles , J 2020 , Dialogue games for explaining medication choices . in V Gutiérrez Basulto , T Kliegr , A Soylu , M Giese & D Roman (eds) , Rules and Reasoning : 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29–July 1, 2020, Proceedings . Lecture Notes in Computer Science (Programming and Software Engineering) , vol. 12173 LNCS , Springer , Cham , pp. 97-111 , 4th International Joint Conference on Rules and Reasoning (RCUL+RR 2020) , Oslo , Norway , 29/06/20 .
dc.identifier.otherPURE: 268607127
dc.identifier.otherPURE UUID: 336a9008-c079-4d8a-bcdb-c0fb1acfe2e9
dc.identifier.otherORCID: /0000-0002-5918-9114/work/79565093
dc.identifier.otherORCID: /0000-0002-6816-6360/work/79565115
dc.identifier.otherScopus: 85090094295
dc.identifier.otherWOS: 000723845700007
dc.description.abstractSMT solvers can be used efficiently to search for optimal paths across multiple graphs when optimising for certain resources. In the medical context, these graphs can represent treatment plans for chronic conditions where the optimal paths across all plans under consideration are the ones which minimize adverse drug interactions. The SMT solvers, however, work as a black-box model and there is a need to justify the optimal plans in a human-friendly way. We aim to fulfill this need by proposing explanatory dialogue protocols based on computational argumentation to increase the understanding and trust of humans interacting with the system. The protocols provide supporting reasons for nodes in a path and also allow counter reasons for the nodes not in the graph, highlighting any potential adverse interactions during the dialogue.
dc.relation.ispartofRules and Reasoningen
dc.relation.ispartofseriesLecture Notes in Computer Science (Programming and Software Engineering)en
dc.rightsCopyright © 2020 Springer Nature Switzerland AG. This work has been made available online in accordance with publisher policies or with permission. Permission for further reuse of this content should be sought from the publisher or the rights holder. This is the author created accepted manuscript following peer review and may differ slightly from the final published version. The final published version of this work is available at
dc.subjectDialogues gamesen
dc.subjectSMT solversen
dc.subjectQA75 Electronic computers. Computer scienceen
dc.subjectR Medicineen
dc.titleDialogue games for explaining medication choicesen
dc.typeConference itemen
dc.contributor.institutionUniversity of St Andrews.School of Computer Scienceen

This item appears in the following Collection(s)

Show simple item record