Explainable Logic-Based Argumentation

Ofer Arieli; AnneMarie Borg; Matthis Hesse; Christian Straßer

doi:10.3233/FAIA220139

Explainable Logic-Based Argumentation

Ofer Arieli, AnneMarie Borg, Matthis Hesse, Christian Straßer

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Abstract

Explainable artificial intelligence (XAI) has gained increasing interest in recent years in the argumentation community. In this paper we consider this topic in the context of logic-based argumentation, showing that the latter is a particularly promising paradigm for facilitating explainable AI. In particular, we provide two representations of abductive reasoning by sequent-based argumentation frameworks and show that such frameworks successfully cope with related challenges, such as the handling of synonyms, justifications, and logical equivalences.

Original language	English
Title of host publication	Computational Models of Argument
Editors	Francesca Toni, Sylwia Polberg, Richard Booth, Martin Caminada, Hiroyuki Kido
Publisher	IOS Press
Pages	32-43
Number of pages	12
ISBN (Electronic)	978-1-64368-307-2
ISBN (Print)	978-1-64368-306-5
DOIs	https://doi.org/10.3233/FAIA220139
Publication status	Published - 7 Sept 2022

Publication series

Name	Frontiers in Artificial Intelligence and Applications
Publisher	IOS Press
Volume	353
ISSN (Print)	0922-6389
ISSN (Electronic)	1879-8314

Bibliographical note

Funding Information:
1Supported by the Israel Science Foundation (grant 550/19).

Publisher Copyright:
© 2022 The authors and IOS Press. All rights reserved.

Keywords

Explainable AI
sequent-based argumentation
abductive logics

Access to Document

10.3233/FAIA220139Licence: CC BY-NC

FAIA-353-FAIA220139Final published version, 271 KBLicence: CC BY-NC

Cite this

@inproceedings{5c99c8c07dc74c3cb86581eea5923f25,

title = "Explainable Logic-Based Argumentation",

abstract = "Explainable artificial intelligence (XAI) has gained increasing interest in recent years in the argumentation community. In this paper we consider this topic in the context of logic-based argumentation, showing that the latter is a particularly promising paradigm for facilitating explainable AI. In particular, we provide two representations of abductive reasoning by sequent-based argumentation frameworks and show that such frameworks successfully cope with related challenges, such as the handling of synonyms, justifications, and logical equivalences.",

keywords = "Explainable AI, sequent-based argumentation, abductive logics",

author = "Ofer Arieli and AnneMarie Borg and Matthis Hesse and Christian Stra{\ss}er",

year = "2022",

month = sep,

day = "7",

doi = "10.3233/FAIA220139",

language = "English",

isbn = "978-1-64368-306-5",

series = "Frontiers in Artificial Intelligence and Applications",

publisher = "IOS Press",

pages = "32--43",

editor = "Francesca Toni and Sylwia Polberg and Richard Booth and Martin Caminada and Hiroyuki Kido",

booktitle = "Computational Models of Argument",

address = "Netherlands",

}

Explainable Logic-Based Argumentation. / Arieli, Ofer; Borg, AnneMarie; Hesse, Matthis et al.
Computational Models of Argument. ed. / Francesca Toni; Sylwia Polberg; Richard Booth; Martin Caminada; Hiroyuki Kido. IOS Press, 2022. p. 32-43 (Frontiers in Artificial Intelligence and Applications; Vol. 353).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Explainable Logic-Based Argumentation

AU - Arieli, Ofer

AU - Borg, AnneMarie

AU - Hesse, Matthis

AU - Straßer, Christian

PY - 2022/9/7

Y1 - 2022/9/7

N2 - Explainable artificial intelligence (XAI) has gained increasing interest in recent years in the argumentation community. In this paper we consider this topic in the context of logic-based argumentation, showing that the latter is a particularly promising paradigm for facilitating explainable AI. In particular, we provide two representations of abductive reasoning by sequent-based argumentation frameworks and show that such frameworks successfully cope with related challenges, such as the handling of synonyms, justifications, and logical equivalences.

AB - Explainable artificial intelligence (XAI) has gained increasing interest in recent years in the argumentation community. In this paper we consider this topic in the context of logic-based argumentation, showing that the latter is a particularly promising paradigm for facilitating explainable AI. In particular, we provide two representations of abductive reasoning by sequent-based argumentation frameworks and show that such frameworks successfully cope with related challenges, such as the handling of synonyms, justifications, and logical equivalences.

KW - Explainable AI

KW - sequent-based argumentation

KW - abductive logics

UR - http://www.scopus.com/inward/record.url?scp=85139475689&partnerID=8YFLogxK

U2 - 10.3233/FAIA220139

DO - 10.3233/FAIA220139

M3 - Conference contribution

SN - 978-1-64368-306-5

T3 - Frontiers in Artificial Intelligence and Applications

SP - 32

EP - 43

BT - Computational Models of Argument

A2 - Toni, Francesca

A2 - Polberg, Sylwia

A2 - Booth, Richard

A2 - Caminada, Martin

A2 - Kido, Hiroyuki

PB - IOS Press

ER -

Explainable Logic-Based Argumentation

Abstract

Publication series

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this