skip to main content
10.1145/3514094.3539544acmconferencesArticle/Chapter ViewAbstractPublication PagesaiesConference Proceedingsconference-collections
abstract

Constructing Meaningful Explanations: Logic-based Approaches

Published:27 July 2022Publication History

ABSTRACT

Machine learning (ML) models are ubiquitous: we encounter them when using a search engine, behind online text translation, etc. However, these models have to be used with care, as they are susceptible to social biases. Further, most ML models are inherently opaque, another obstacle to understand and verify them.

Being concerned with meaningful explanations, this work is putting forward two research paths: constructing counterfactual explanations with prior knowledge, and reasoning over explanations and time. Prior knowledge has the potential to significantly increase explanation quality, whereas time dimensions are necessary to track changes in ML models and explanations. The proposal builds on (constraint) logic programming and meta-reasoning. While situated in the computer sciences, it strives to reflect the interdisciplinary character of the field of eXplainable Artificial Intelligence.

References

  1. Krzysztof Apt. 1997. From logic programming to Prolog. Prentice Hall.Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. Antonio Brogi, Paolo Mancarella, Dino Pedreschi, and Franco Turini. 1991. Theory Construction in Computational Logic. In ICLP Workshop on Construction of Logic Programs. Wiley, 241--250.Google ScholarGoogle Scholar
  3. Andrew Cropper and Sebastijan Dumancic. 2020. Inductive logic programming at 30: a new introduction. CoRR abs/2008.07912 (2020).Google ScholarGoogle Scholar
  4. Stuart J. Russell and Peter Norvig. 2003. Artificial Intelligence: A Modern Approach (2 ed.). Pearson Education.Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. Laura State. 2021. Logic Programming for XAI: A Technical Perspective. In ICLP Workshops (CEUR Workshop Proceedings, Vol. 2970). CEUR-WS.org.Google ScholarGoogle Scholar
  6. Sandra Wachter, Brent D. Mittelstadt, and Chris Russell. 2017. Counterfactual Explanations without Opening the Black Box: Automated Decisions and the GDPR. CoRR abs/1711.00399 (2017).Google ScholarGoogle Scholar

Index Terms

  1. Constructing Meaningful Explanations: Logic-based Approaches

        Recommendations

        Comments

        Login options

        Check if you have access through your login credentials or your institution to get full access on this article.

        Sign in
        • Published in

          cover image ACM Conferences
          AIES '22: Proceedings of the 2022 AAAI/ACM Conference on AI, Ethics, and Society
          July 2022
          939 pages
          ISBN:9781450392471
          DOI:10.1145/3514094

          Copyright © 2022 Owner/Author

          Permission to make digital or hard copies of part or all 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 third-party components of this work must be honored. For all other uses, contact the Owner/Author.

          Publisher

          Association for Computing Machinery

          New York, NY, United States

          Publication History

          • Published: 27 July 2022

          Check for updates

          Qualifiers

          • abstract

          Acceptance Rates

          Overall Acceptance Rate61of162submissions,38%
        • Article Metrics

          • Downloads (Last 12 months)23
          • Downloads (Last 6 weeks)1

          Other Metrics

        PDF Format

        View or Download as a PDF file.

        PDF

        eReader

        View online with eReader.

        eReader