SAT-Based Rigorous Explanations for Decision Lists

05/14/2021
by   Alexey Ignatiev, et al.
0

Decision lists (DLs) find a wide range of uses for classification problems in Machine Learning (ML), being implemented in a number of ML frameworks. DLs are often perceived as interpretable. However, building on recent results for decision trees (DTs), we argue that interpretability is an elusive goal for some DLs. As a result, for some uses of DLs, it will be important to compute (rigorous) explanations. Unfortunately, and in clear contrast with the case of DTs, this paper shows that computing explanations for DLs is computationally hard. Motivated by this result, the paper proposes propositional encodings for computing abductive explanations (AXps) and contrastive explanations (CXps) of DLs. Furthermore, the paper investigates the practical efficiency of a MARCO-like approach for enumerating explanations. The experimental results demonstrate that, for DLs used in practical settings, the use of SAT oracles offers a very efficient solution, and that complete enumeration of explanations is most often feasible.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/21/2020

On Explaining Decision Trees

Decision trees (DTs) epitomize what have become to be known as interpret...
research
05/21/2021

On Explaining Random Forests with SAT

Random Forest (RFs) are among the most widely used Machine Learning (ML)...
research
07/04/2021

Efficient Explanations for Knowledge Compilation Languages

Knowledge compilation (KC) languages find a growing number of practical ...
research
05/19/2022

Provably Precise, Succinct and Efficient Explanations for Decision Trees

Decision trees (DTs) embody interpretable classifiers. DTs have been adv...
research
12/12/2022

On Computing Probabilistic Abductive Explanations

The most widely studied explainable AI (XAI) approaches are unsound. Thi...
research
02/03/2021

A Scalable Two Stage Approach to Computing Optimal Decision Sets

Machine learning (ML) is ubiquitous in modern life. Since it is being de...
research
11/26/2018

Abduction-Based Explanations for Machine Learning Models

The growing range of applications of Machine Learning (ML) in a multitud...

Please sign up or login with your details

Forgot password? Click here to reset