Saved in:
Bibliographic Details
Main Authors: Rago, Antonio, Martinez, Maria Vanina
Format: Preprint
Published: 2024
Subjects:
Online Access:https://arxiv.org/abs/2408.06875
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866913468070756352
author Rago, Antonio
Martinez, Maria Vanina
author_facet Rago, Antonio
Martinez, Maria Vanina
contents As AI models become ever more complex and intertwined in humans' daily lives, greater levels of interactivity of explainable AI (XAI) methods are needed. In this paper, we propose the use of belief change theory as a formal foundation for operators that model the incorporation of new information, i.e. user feedback in interactive XAI, to logical representations of data-driven classifiers. We argue that this type of formalisation provides a framework and a methodology to develop interactive explanations in a principled manner, providing warranted behaviour and favouring transparency and accountability of such interactions. Concretely, we first define a novel, logic-based formalism to represent explanatory information shared between humans and machines. We then consider real world scenarios for interactive XAI, with different prioritisations of new and existing knowledge, where our formalism may be instantiated. Finally, we analyse a core set of belief change postulates, discussing their suitability for our real world settings and pointing to particular challenges that may require the relaxation or reinterpretation of some of the theoretical assumptions underlying existing operators.
format Preprint
id arxiv_https___arxiv_org_abs_2408_06875
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle Advancing Interactive Explainable AI via Belief Change Theory
Rago, Antonio
Martinez, Maria Vanina
Artificial Intelligence
As AI models become ever more complex and intertwined in humans' daily lives, greater levels of interactivity of explainable AI (XAI) methods are needed. In this paper, we propose the use of belief change theory as a formal foundation for operators that model the incorporation of new information, i.e. user feedback in interactive XAI, to logical representations of data-driven classifiers. We argue that this type of formalisation provides a framework and a methodology to develop interactive explanations in a principled manner, providing warranted behaviour and favouring transparency and accountability of such interactions. Concretely, we first define a novel, logic-based formalism to represent explanatory information shared between humans and machines. We then consider real world scenarios for interactive XAI, with different prioritisations of new and existing knowledge, where our formalism may be instantiated. Finally, we analyse a core set of belief change postulates, discussing their suitability for our real world settings and pointing to particular challenges that may require the relaxation or reinterpretation of some of the theoretical assumptions underlying existing operators.
title Advancing Interactive Explainable AI via Belief Change Theory
topic Artificial Intelligence
url https://arxiv.org/abs/2408.06875