Dialogue games for explaining medication choices

Qurat-ul-ain Shaheen, Alice Toniolo, Juliana Kuster Filipe Bowles*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)
7 Downloads (Pure)


SMT 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.
Original languageEnglish
Title of host publicationRules and Reasoning
Subtitle of host publication4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29–July 1, 2020, Proceedings
EditorsVictor Gutiérrez Basulto, Tomáš Kliegr, Ahmet Soylu, Martin Giese, Dumitru Roman
Place of PublicationCham
Number of pages15
ISBN (Electronic)9783030579777
ISBN (Print)9783030579760
Publication statusPublished - 2020
Event4th International Joint Conference on Rules and Reasoning (RCUL+RR 2020) - Online, Oslo, Norway
Duration: 29 Jun 20201 Jul 2020
Conference number: 4

Publication series

NameLecture Notes in Computer Science (Programming and Software Engineering)
Volume12173 LNCS
ISSN (Print)0302-9743


Conference4th International Joint Conference on Rules and Reasoning (RCUL+RR 2020)
Abbreviated titleRCUL+RR 2020
Internet address


  • Explanations
  • Dialogues games
  • Argumentation
  • SMT solvers


Dive into the research topics of 'Dialogue games for explaining medication choices'. Together they form a unique fingerprint.

Cite this