Guardado en:
Detalles Bibliográficos
Autores principales: Huang, Xuanxiang, Létoffé, Olivier, Marques-Silva, Joao
Formato: Preprint
Publicado: 2025
Materias:
Acceso en línea:https://arxiv.org/abs/2508.11959
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
_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