Interpretable DNFs

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Cooper, Martin C., Bousdira, Imane, Carbonnel, Clément
Format: Preprint
Published: 2025
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866918036499333120
author Cooper, Martin C.
Bousdira, Imane
Carbonnel, Clément
author_facet Cooper, Martin C.
Bousdira, Imane
Carbonnel, Clément
contents A classifier is considered interpretable if each of its decisions has an explanation which is small enough to be easily understood by a human user. A DNF formula can be seen as a binary classifier $κ$ over boolean domains. The size of an explanation of a positive decision taken by a DNF $κ$ is bounded by the size of the terms in $κ$, since we can explain a positive decision by giving a term of $κ$ that evaluates to true. Since both positive and negative decisions must be explained, we consider that interpretable DNFs are those $κ$ for which both $κ$ and $\overlineκ$ can be expressed as DNFs composed of terms of bounded size. In this paper, we study the family of $k$-DNFs whose complements can also be expressed as $k$-DNFs. We compare two such families, namely depth-$k$ decision trees and nested $k$-DNFs, a novel family of models. Experiments indicate that nested $k$-DNFs are an interesting alternative to decision trees in terms of interpretability and accuracy.
format Preprint
id arxiv_https___arxiv_org_abs_2505_21212
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle Interpretable DNFs
Cooper, Martin C.
Bousdira, Imane
Carbonnel, Clément
Artificial Intelligence
68T27, 05C62
F.4.1; I.2.6
A classifier is considered interpretable if each of its decisions has an explanation which is small enough to be easily understood by a human user. A DNF formula can be seen as a binary classifier $κ$ over boolean domains. The size of an explanation of a positive decision taken by a DNF $κ$ is bounded by the size of the terms in $κ$, since we can explain a positive decision by giving a term of $κ$ that evaluates to true. Since both positive and negative decisions must be explained, we consider that interpretable DNFs are those $κ$ for which both $κ$ and $\overlineκ$ can be expressed as DNFs composed of terms of bounded size. In this paper, we study the family of $k$-DNFs whose complements can also be expressed as $k$-DNFs. We compare two such families, namely depth-$k$ decision trees and nested $k$-DNFs, a novel family of models. Experiments indicate that nested $k$-DNFs are an interesting alternative to decision trees in terms of interpretability and accuracy.
title Interpretable DNFs
topic Artificial Intelligence
68T27, 05C62
F.4.1; I.2.6
url https://arxiv.org/abs/2505.21212