RNTI

MODULAD
Approximation des explications abductives de taille minimale : application aux arbres de décision binaires
In EGC 2025, vol. RNTI-E-41, pp.207-218
Abstract
In this work, we address the problem of approximating minimum-size abductive explanations for decision trees using supermodular optimization. Finding a minimum-size abductive explanation is a time-intensive task, even for restricted classifiers like decision trees. This problem, being NP-hard for decision trees, makes exact approaches particularly time-consuming, especially for complex instances and high-dimensional data. To overcome these challenges, approximate or heuristic methods are often preferred, allowing for reduced computational load and faster results, albeit sometimes at the cost of optimality. Here, we propose a greedy algorithm to efficiently approximate minimum-size abductive explanations. Our experiments show that for difficult-to-explain instances, this algorithm provides an effective alternative to exact methods based on SAT encodings.