On Tackling Explanation Redundancy in Decision Trees
arXiv:2205.09971 · doi:10.1613/jair.1.13575
Abstract
Decision trees (DTs) epitomize the ideal of interpretability of machine learning (ML) models. The interpretability of decision trees motivates explainability approaches by so-called intrinsic interpretability, and it is at the core of recent proposals for applying interpretable ML models in high-risk applications. The belief in DT interpretability is justified by the fact that explanations for DT predictions are generally expected to be succinct. Indeed, in the case of DTs, explanations correspond to DT paths. Since decision trees are ideally shallow, and so paths contain far fewer features than the total number of features, explanations in DTs are expected to be succinct, and hence interpretable. This paper offers both theoretical and experimental arguments demonstrating that, as long as interpretability of decision trees equates with succinctness of explanations, then decision trees ought not be deemed interpretable. The paper introduces logically rigorous path explanations and path explanation redundancy, and proves that there exist functions for which decision trees must exhibit paths with arbitrarily large explanation redundancy. The paper also proves that only a very restricted class of functions can be represented with DTs that exhibit no explanation redundancy. In addition, the paper includes experimental results substantiating that path explanation redundancy is observed ubiquitously in decision trees, including those obtained using different tree learning algorithms, but also in a wide range of publicly available decision trees. The paper also proposes polynomial-time algorithms for eliminating path explanation redundancy, which in practice require negligible time to compute. Thus, these algorithms serve to indirectly attain irreducible, and so succinct, explanations for decision trees.
References in corpus (13)
- Methods for Interpreting and Understanding Deep Neural Networks
- A survey of algorithmic recourse: definitions, formulations, solutions, and prospects
- Model Interpretability through the Lens of Computational Complexity
- Can I Trust the Explainer? Verifying Post-hoc Explanatory Methods
- SAT-based Encodings for Optimal Decision Trees with Explicit Paths
- On Quantifying Literals in Boolean Logic and Its Applications to Explainable AI
- Efficient Explanations for Knowledge Compilation Languages
- Provably efficient, succinct, and precise explanations
- A Symbolic Approach for Counterfactual Explanations
- Foundations of Symbolic Languages for Model Interpretability
- Learning Optimal Decision Trees from Large Datasets
- Sufficient reasons for classifier decisions in the presence of constraints
- Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing