A Unified Logical Framework for Explanations in Classifier Systems - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Logic and Computation Année : 2023

A Unified Logical Framework for Explanations in Classifier Systems

Résumé

Recent years have witnessed a renewed interest in the explanation of classifier systems in the field of explainable AI (XAI). The standard approach is based on propositional logic. We present a modal language which supports reasoning about binary input classifiers and their properties. We study a family of classifier models, axiomatize it as two proof systems regarding the cardinality of the language and show completeness of our axiomatics. Moreover, we show that the satisfiability checking problem for our modal language is NEXPTIME-complete in the infinite-variable case, while it becomes polynomial in the finite-variable case. We moreover identify an interesting NP fragment of our language in the infinite-variable case. We leverage the language to formalize counterfactual conditional as well as a variety of notions of explanation including abductive, contrastive and counterfactual explanations and biases. Finally, we present two extensions of our language: a dynamic extension by the notion of assignment enabling classifier change and an epistemic extension in which the classifier’s uncertainty about the actual input can be represented.
Fichier principal
Vignette du fichier
JLC_BCL_Liu&Lorini.pdf (605.34 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03873200 , version 1 (26-11-2022)

Identifiants

Citer

Xinghan Liu, Emiliano Lorini. A Unified Logical Framework for Explanations in Classifier Systems. Journal of Logic and Computation, 2023, 33 (2), pp.485-515. ⟨10.1093/logcom/exac102⟩. ⟨hal-03873200⟩
62 Consultations
53 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More