Contestable AI needs Computational Argumentation
Francesco Leofante, Hamed Ayoobi, Adam Dejl, Gabriel Freedman, Deniz Gorur, Junqi Jiang, Guilherme Paulino-Passos, Antonio Rago, Anna Rapberger, Fabrizio Russo, Xiang Yin, Dekai Zhang, Francesca Toni
TL;DR
The paper tackles the lack of contestability in current AI systems and argues that computational argumentation (CA) is well suited to support contestation. It introduces an abstract framework wherein a contested ADS is described by a model $M:I \rightarrow O$, with explanation $E$, redress $R$, and a contester equipped with ground generator $G$, interacting via $I$. The authors outline how contestation can occur across outputs, reasoning, and the full model (settings A–C) and how explanations, robustness, and faithfulness affect redress. They discuss CA-based explanations, redress, and interaction as the basis for end-to-end contestable AI and point to future work on multi-party scenarios, engineering challenges, and integration with formal verification and logic-based explainability.
Abstract
AI has become pervasive in recent years, but state-of-the-art approaches predominantly neglect the need for AI systems to be contestable. Instead, contestability is advocated by AI guidelines (e.g. by the OECD) and regulation of automated decision-making (e.g. GDPR). In this position paper we explore how contestability can be achieved computationally in and for AI. We argue that contestable AI requires dynamic (human-machine and/or machine-machine) explainability and decision-making processes, whereby machines can (i) interact with humans and/or other machines to progressively explain their outputs and/or their reasoning as well as assess grounds for contestation provided by these humans and/or other machines, and (ii) revise their decision-making processes to redress any issues successfully raised during contestation. Given that much of the current AI landscape is tailored to static AIs, the need to accommodate contestability will require a radical rethinking, that, we argue, computational argumentation is ideally suited to support.
