skip to main content
10.1145/3341105.3373910acmconferencesArticle/Chapter ViewAbstractPublication PagessacConference Proceedingsconference-collections
research-article

Explaining reasoning algorithms with persuasiveness: a case study for a behavioural change system

Published: 30 March 2020 Publication History

Abstract

Explainable AI aims at building intelligent systems that are able to provide a clear, and human understandable, justification of their decisions. This holds for both rule-based and data-driven methods. In management of chronic diseases, the users of such systems are patients that follow strict dietary rules to manage such diseases. After receiving the input of the intake food, the system performs reasoning to understand whether the users follow an unhealthy behaviour. Successively, the system has to communicate the results in a clear and effective way, that is, the output message has to persuade users to follow the right dietary rules. In this paper, we address the main challenges to build such systems: i) the natural language generation of messages that explain the reasoner inconsistency; ii) the effectiveness of such messages at persuading the users. Results prove that the persuasive explanations are able to reduce the unhealthy users' behaviours.

References

[1]
Amina Adadi and Mohammed Berrada. 2018. Peeking Inside the Black-Box: A Survey on Explainable Artificial Intelligence (XAI). IEEE Access 6 (2018), 52138--52160.
[2]
Franz Baader, Ian Horrocks, and Ulrike Sattler. 2008. Description Logics. In Handbook of Knowledge Representation. Foundations of Artificial Intelligence, Vol. 3. Elsevier, 135--179.
[3]
Johannes Bauer, Ulrike Sattler, and Bijan Parsia. 2009. Explaining by Example: Model Exploration for Ontology Comprehension. In Description Logics (CEUR Workshop Proceedings), Vol. 477. CEUR-WS.org.
[4]
Alexander Borgida, Enrico Franconi, and Ian Horrocks. 2000. Explaining ALC Subsumption. In ECAI 2000, Proceedings of the 14th European Conference on Artificial Intelligence, Berlin, Germany, August 20-25, 2000, Werner Horn (Ed.). IOS Press, 209--213.
[5]
Francesco Corcoglioniti, Marco Rospocher, Michele Mostarda, and Marco Amadori. 2015. Processing billions of RDF triples on a single machine using streaming and sorting. In ACM SAC. 368--375.
[6]
Mauro Dragoni, Tania Bailoni, Rosa Maimone, and Claudio Eccher. 2018. HeLiS: An Ontology for Supporting Healthy Lifestyles. In International Semantic Web Conference (2) (Lecture Notes in Computer Science), Vol. 11137. Springer, 53--69.
[7]
Mauro Dragoni, Tania Bailoni, Rosa Maimone, Michele Marchesoni, and Claudio Eccher. 2018. HORUS.AI - A Knowledge-based Solution Supporting Health Persuasive Self-Monitoring. In International Semantic Web Conference (P&D/Industry/BlueSky) (CEUR Workshop Proceedings), Vol. 2180. CEUR-WS.org.
[8]
Mauro Dragoni, Marco Rospocher, Tania Bailoni, Rosa Maimone, and Claudio Eccher. 2018. Semantic Technologies for Healthy Lifestyle Monitoring. In International Semantic Web Conference (2) (Lecture Notes in Computer Science), Vol. 11137. Springer, 307--324.
[9]
Albert Gatt and Emiel Krahmer. 2018. Survey of the State of the Art in Natural Language Generation: Core tasks, applications and evaluation. J. Artif. Intell. Res. 61 (2018), 65--170.
[10]
Maurice H. Halstead. 1977. Elements of Software Science (Operating and Programming Systems Series). Elsevier Science Inc., New York, NY, USA.
[11]
Anthony Hunter. 2018. Towards a framework for computational persuasion with applications in behaviour change. Argument & Computation 9, 1 (2018), 15--40.
[12]
Aditya Kalyanpur, Bijan Parsia, Evren Sirin, and James A. Hendler. 2005. Debugging unsatisfiable classes in OWL ontologies. J. Web Semant. 3, 4 (2005), 268--293.
[13]
Efstratios Kontopoulos, Nick Bassiliades, and Grigoris Antoniou. 2011. Visualizing Semantic Web proofs of defeasible logic in the DR-DEVICE system. Knowl.-Based Syst. 24, 3 (2011), 406--419.
[14]
Joey Sik Chun Lam. 2007. Methods for resolving inconsistencies in ontologies. Ph.D. Dissertation. University of Aberdeen, UK.
[15]
Thomas J. McCabe. 1976. A Complexity Measure. IEEE Trans. Software Eng. 2, 4 (1976), 308--320.
[16]
Deborah L. McGuinness and Alexander Borgida. 1995. Explaining Subsumption in Description Logics. In IJCAI (1). Morgan Kaufmann, 816--821.
[17]
H. op den Akker, M. Cabrita, R. op den Akker, V. M. Jones, and H.J. Hermens. 2015. Tailored motivational message generation: A model and practical framework for real-time physical activity coaching. Journal of Biomedical Informatics 55 (2015), 104--115.
[18]
Catherine Roussey, Óscar Corcho, and Luis Manuel Vilches Blázquez. 2009. A catalogue of OWL ontology antipatterns. In K-CAP. ACM, 205--206.
[19]
Eros Zanchetta and Marco Baroni. 2005. Morph-it! A free corpus-based morphological resource for the Italian language. In IN: PROCEEDINGS OF CORPUS LINGUISTICS, HTTP://DEV.SSLMIT.UNIBO.IT/LINGUISTICS/MORPH-IT.PHP.

Cited By

View all
  • (2024)Explainable AI Assisted Decision-Making and Human BehaviourComputing, Internet of Things and Data Analytics10.1007/978-3-031-53717-2_36(376-385)Online publication date: 22-Feb-2024
  • (2022)RV4JaCa – Runtime Verification for Multi-Agent SystemsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.362.5362(23-36)Online publication date: 20-Jul-2022
  • (2022)Argumentation as a Method for Explainable AI : A Systematic Literature Review2022 17th Iberian Conference on Information Systems and Technologies (CISTI)10.23919/CISTI54924.2022.9820411(1-6)Online publication date: 22-Jun-2022
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

SAC '20: Proceedings of the 35th Annual ACM Symposium on Applied Computing
March 2020
2348 pages
ISBN:9781450368667
DOI:10.1145/3341105
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 30 March 2020

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. explainable AI
  2. explainable reasoning
  3. mHealth
  4. natural language generation
  5. ontologies

Qualifiers

  • Research-article

Conference

SAC '20
Sponsor:
SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing
March 30 - April 3, 2020
Brno, Czech Republic

Acceptance Rates

Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Upcoming Conference

SAC '25
The 40th ACM/SIGAPP Symposium on Applied Computing
March 31 - April 4, 2025
Catania , Italy

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)37
  • Downloads (Last 6 weeks)5
Reflects downloads up to 18 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2024)Explainable AI Assisted Decision-Making and Human BehaviourComputing, Internet of Things and Data Analytics10.1007/978-3-031-53717-2_36(376-385)Online publication date: 22-Feb-2024
  • (2022)RV4JaCa – Runtime Verification for Multi-Agent SystemsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.362.5362(23-36)Online publication date: 20-Jul-2022
  • (2022)Argumentation as a Method for Explainable AI : A Systematic Literature Review2022 17th Iberian Conference on Information Systems and Technologies (CISTI)10.23919/CISTI54924.2022.9820411(1-6)Online publication date: 22-Jun-2022
  • (2022)Explainable and secure artificial intelligence: taxonomy, cases of study, learned lessons, challenges and future directionsEnterprise Information Systems10.1080/17517575.2022.209853717:9Online publication date: 26-Jul-2022
  • (2022)In the Head of the Beholder: Comparing Different Proof RepresentationsRules and Reasoning10.1007/978-3-031-21541-4_14(211-226)Online publication date: 26-Sep-2022
  • (2022)Explaining Semantic Reasoning Using ArgumentationAdvances in Practical Applications of Agents, Multi-Agent Systems, and Complex Systems Simulation. The PAAMS Collection10.1007/978-3-031-18192-4_13(153-165)Online publication date: 13-Jul-2022
  • (2022)Human-AI Interaction Paradigm for Evaluating Explainable Artificial IntelligenceHCI International 2022 Posters10.1007/978-3-031-06417-3_54(404-411)Online publication date: 16-Jun-2022
  • (2021)Engineering Explainable Agents: An Argumentation-Based ApproachEngineering Multi-Agent Systems10.1007/978-3-030-97457-2_16(273-291)Online publication date: 3-May-2021
  • (2021)A Reinforcement Learning Approach to Improve User Achievement of Health-Related GoalsProgress in Artificial Intelligence10.1007/978-3-030-86230-5_21(266-277)Online publication date: 7-Sep-2021

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy