The Parameterized Complexity of Finding Concise Local Explanations

The Parameterized Complexity of Finding Concise Local Explanations

Sebastian Ordyniak, Giacomo Paesani, Stefan Szeider

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence
Main Track. Pages 3312-3320. https://doi.org/10.24963/ijcai.2023/369

We consider the computational problem of finding a smallest local explanation (anchor) for classifying a given feature vector (example) by a black-box model. After showing that the problem is NP-hard in general, we study various natural restrictions of the problem in terms of problem parameters to see whether these restrictions make the problem fixed-parameter tractable or not. We draw a detailed and systematic complexity landscape for combinations of parameters, including the size of the anchor, the size of the anchor's coverage, and parameters that capture structural aspects of the problem instance, including rank-width, twin-width, and maximum difference.
Keywords:
Knowledge Representation and Reasoning: KRR: Computational complexity of reasoning
Machine Learning: ML: Explainable/Interpretable machine learning