mlsanityData to 7 Oct 2026

A Model-Agnostic SAT-based Approach for Symbolic Explanation Enumeration

arXiv 2206.11539 ↗First posted 23 Jun 2022cs.AIcited by 0

Not on the map. Why?

Abstract (arXiv)

In this paper titled A Model-Agnostic SAT-based approach for Symbolic Explanation Enumeration we propose a generic agnostic approach allowing to generate different and complementary types of symbolic explanations. More precisely, we generate explanations to locally explain a single prediction by analyzing the relationship between the features and the output. Our approach uses a propositional encoding of the predictive model and a SAT-based setting to generate two types of symbolic explanations which are Sufficient Reasons and Counterfactuals. The experimental results on image classification task show the feasibility of the proposed approach and its effectiveness in providing Sufficient Reasons and Counterfactuals explanations.

Key facts. No citing papers in the map yet (data through 7 Oct 2026). Builds on 14 of its 32 references that are in the map. First posted on arXiv 23 Jun 2022.

Builds on

14 of 32 references.

References · 14

  1. 2017A Unified Approach to Interpreting Model Predictionscited by 6,488
  2. 2016"Why Should I Trust You?": Explaining the Predictions of Any Classifiercited by 5,040
  3. 2018Abduction-Based Explanations for Machine Learning Modelscited by 159
  4. 2018A Symbolic Approach to Explaining Bayesian Network Classifierscited by 130
  5. 2017Verifying Properties of Binarized Deep Neural Networkscited by 77
  6. 2021On Explaining Random Forests with SATcited by 57
  7. 2020Explaining Naive Bayes and Other Linear Classifiers with Polynomial Time and Delaycited by 56
  8. 2020On Explaining Decision Treescited by 49
  9. 2021SAT-Based Rigorous Explanations for Decision Listscited by 40
  10. 2020On Tractable Representations of Binary Neural Networkscited by 34
  11. 2020Three Modern Roles for Logic in AIcited by 15
  12. 2020On Symbolically Encoding the Behavior of Random Forestscited by 15
2 more
  1. 2020On Relating 'Why?' and 'Why Not?' Explanationscited by 15
  2. 2022A Symbolic Approach for Counterfactual Explanationscited by 5

Built on by

Not cited yet.