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

Stefan EllmauthalerStefan Ellmauthaler, Lukas GerlachLukas Gerlach

Stefan Ellmauthaler, Lukas Gerlach
ADF-BDD.DEV: Insights to undecided Statements in Abstract Dialectical Frameworks
In Gianvincenzo Alfano, Stefano Ferilli, eds., Proceedings of the 7th Workshop on Advances in Argumentation in Artificial Intelligence (AI^3 2023) co-located with the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), Rome, Italy, November 9, 2023, volume 3546 of CEUR Workshop Proceedings, December 2023. CEUR-WS.org

Details
Bibtex

KurzfassungAbstract
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.
Weitere Informationen unter:Further Information: Link
Projekt:Project: CPEC, InnoSale, SECAI, ScaDS.AI, Cfaed
Verknüpfte Tools:Related Tools: adf-bdd
Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems

@inproceedings{EG2023,
  author    = {Stefan Ellmauthaler and Lukas Gerlach},
  title     = {ADF-BDD.DEV: Insights to undecided Statements in Abstract
               Dialectical Frameworks},
  editor    = {Gianvincenzo Alfano and Stefano Ferilli},
  booktitle = {Proceedings of the 7th Workshop on Advances in Argumentation in
               Artificial Intelligence (AI^3 2023) co-located with the 22nd
               International Conference of the Italian Association for
               Artificial Intelligence (AIxIA 2023), Rome, Italy, November 9,
               2023},
  series    = {CEUR Workshop Proceedings},
  volume    = {3546},
  publisher = {CEUR-WS.org},
  year      = {2023},
  month     = {December}
}