Rigorous Feature Importance Scores based on Shapley Value and Banzhaf Index

Fuente: arXiv
Enregistré dans:
Détails bibliographiques
Auteurs principaux: Huang, Xuanxiang, Létoffé, Olivier, Marques-Silva, Joao
Format: Preprint
Publié: 2025
Sujets:
Accès en ligne:
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
_version_ 1866912539808366592
author Huang, Xuanxiang
Létoffé, Olivier
Marques-Silva, Joao
author_facet Huang, Xuanxiang
Létoffé, Olivier
Marques-Silva, Joao
contents Feature attribution methods based on game theory are ubiquitous in the field of eXplainable Artificial Intelligence (XAI). Recent works proposed rigorous feature attribution using logic-based explanations, specifically targeting high-stakes uses of machine learning (ML) models. Typically, such works exploit weak abductive explanation (WAXp) as the characteristic function to assign importance to features. However, one possible downside is that the contribution of non-WAXp sets is neglected. In fact, non-WAXp sets can also convey important information, because of the relationship between formal explanations (XPs) and adversarial examples (AExs). Accordingly, this paper leverages Shapley value and Banzhaf index to devise two novel feature importance scores. We take into account non-WAXp sets when computing feature contribution, and the novel scores quantify how effective each feature is at excluding AExs. Furthermore, the paper identifies properties and studies the computational complexity of the proposed scores.
format Preprint
id arxiv_https___arxiv_org_abs_2508_11959
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle Rigorous Feature Importance Scores based on Shapley Value and Banzhaf Index
Huang, Xuanxiang
Létoffé, Olivier
Marques-Silva, Joao
Artificial Intelligence
Feature attribution methods based on game theory are ubiquitous in the field of eXplainable Artificial Intelligence (XAI). Recent works proposed rigorous feature attribution using logic-based explanations, specifically targeting high-stakes uses of machine learning (ML) models. Typically, such works exploit weak abductive explanation (WAXp) as the characteristic function to assign importance to features. However, one possible downside is that the contribution of non-WAXp sets is neglected. In fact, non-WAXp sets can also convey important information, because of the relationship between formal explanations (XPs) and adversarial examples (AExs). Accordingly, this paper leverages Shapley value and Banzhaf index to devise two novel feature importance scores. We take into account non-WAXp sets when computing feature contribution, and the novel scores quantify how effective each feature is at excluding AExs. Furthermore, the paper identifies properties and studies the computational complexity of the proposed scores.
title Rigorous Feature Importance Scores based on Shapley Value and Banzhaf Index
topic Artificial Intelligence
url https://arxiv.org/abs/2508.11959