ADF-BDD.DEV: Debug Abstract Dialectical Frameworks with Binary Decision Diagrams

Stefan EllmauthalerStefan Ellmauthaler, Lukas GerlachLukas Gerlach

Stefan Ellmauthaler, Lukas Gerlach
ADF-BDD.DEV: Debug Abstract Dialectical Frameworks with Binary Decision Diagrams
The Fourth Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2023), September 2023

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). While the number of solvers for ADFs is plentyful, they merely give text-based solutions to the problems. 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 solutions to ADFs for different semantics, allowing their comparison and to spot the influence of yet undecided statements. We think that this is a first steps towards better explainability and simplifies debugging of ADFs.
Weitere Informationen unter:Further Information: Link, 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: Debug Abstract Dialectical Frameworks with Binary
               Decision Diagrams},
  booktitle = {The Fourth Workshop on Explainable Logic-Based Knowledge
               Representation (XLoKR 2023)},
  year      = {2023},
  month     = {September}
}