ADF-BDD.DEV: Insights to undecided Statements in Abstract Dialectical Frameworks

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

Abstract

Abstract Dialectical Frameworks (ADF) are a well known and understood generalisation of Dung's Argumentation frameworks. Multiple approaches to solve the computation and enumeration of the semantics have been proposed over the last decade. One recent approach is to solve the computational hard problems by translating the acceptance condition of a given ADF into reduced ordered binary decision diagrams (roBDD). The use of roBDDs lays a foundation for straightforward graphical visualization of the underlying ADFs and their solutions. In this work, we present ADF-BDD.DEV, a web-service that generates graphical representations of ADFs and for different semantics, allowing their comparison and to spot the influence of yet undecided statements. We propose that this is a first steps towards better explainability and understanding of ADFs.

Details

OriginalspracheEnglisch
TitelAI^3 2023 - 7th Workshop on Advances in Argumentation in Artificial Intelligence
Redakteure/-innenGianvincenzo Alfano, Stefano Ferilli
Seitenumfang7
PublikationsstatusVeröffentlicht - 2023
Peer-Review-StatusJa

Publikationsreihe

ReiheCEUR Workshop Proceedings
Band3546
ISSN1613-0073

Workshop

Titel7th Workshop on Advances in Argumentation in Artificial Intelligence
KurztitelAI3 2023
Veranstaltungsnummer7
BeschreibungColocated with the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023)
Dauer9 November 2023
Webseite
OrtRoma Tre University
StadtRome
LandItalien

Schlagworte

ASJC Scopus Sachgebiete

Schlagwörter

  • Abstract Argumentation, Abstract Dialectical Frameworks, Explanation, Tool, Visualisation, Web Service