Skip to content

Research at St Andrews

Dialogue games for explaining medication choices

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


School/Research organisations


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

    Research areas

  • Explanations, Dialogues games, Argumentation, SMT solvers

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

Related by author

  1. Argumentation-based explanations of multimorbidity treatment plans

    Shaheen, Q., Toniolo, A. & Kuster Filipe Bowles, J., 2021, PRIMA 2020: Principles and Practice of Multi-Agent Systems: 23rd International Conference, Nagoya, Japan, November 18–20, 2020, Proceedings. Uchiya, T., Bai, Q. & Maestre, I. M. (eds.). Cham: Springer, p. 394-402 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12568 LNCS).

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

  2. On the benefits and security risks of a user-centric data sharing platform for healthcare provision

    Banton, M., Bowles, J., Silvina, A. & Webber, T., 21 Jun 2021, UMAP 2021 - Adjunct Publication of the 29th ACM Conference on User Modeling, Adaptation and Personalization. Masthoff, J., Herder, E., Tintarev, N. & Tkalčič, M. (eds.). Association for Computing Machinery, Inc, p. 351-356 6 p.

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

  3. A blockchain-based healthcare platform for secure personalised data sharing

    Bowles, J., Webber, T., Blackledge, E. & Vermeulen, A., 27 May 2021, Public Health and Informatics. Mantas, J., Stoicu-Tivadar, L., Chronaki, C., Hasman, A., Weber, P., Gallos, P., Crişan-Vida, M., Zoulias, E. & Chirila, O. S. (eds.). IOS Press, p. 208-212 5 p. (Studies in Health Technology and Informatics; vol. 281).

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

  4. Trends in diabetes medication use in Canada, England, Scotland and Australia: a repeated cross-sectional analysis (2012-2017)

    Greiver, M., Havard, A., Kuster Filipe Bowles, J., Kalia, S., Chen, T., Aliarzadeh, B., Moineddin, R., Sherlock, J., Hinton, W., Sullivan, F., O'Neill, B., Pow, C., Bhatt, A., Rahman, F., Meza-Torres, B., Litchfield, M. & de Lusignan, S., Mar 2021, In: British Journal of General Practice. 71, 704, p. e209-e218

    Research output: Contribution to journalArticlepeer-review

  5. Graph-based risk assessment and error detection in radiation therapy

    Munbodh, R., Kuster Filipe Bowles, J. & Zaveri, H., Mar 2021, In: Medical Physics. 48, 3, p. 965-977 13 p.

    Research output: Contribution to journalArticlepeer-review

ID: 268607127