Investigating subclasses of abstract dialectical frameworks

From International Center for Computational Logic

Toggle side column

Investigating subclasses of abstract dialectical frameworks

Martin DillerMartin Diller,  Atefeh Keshavarzi ZafarghandiAtefeh Keshavarzi Zafarghandi,  Thomas LinsbichlerThomas Linsbichler,  Stefan WoltranStefan Woltran
Investigating subclasses of abstract dialectical frameworks


Martin Diller, Atefeh Keshavarzi Zafarghandi, Thomas Linsbichler, Stefan Woltran
Investigating subclasses of abstract dialectical frameworks
Argument & Computation, 11(1-2):191-219, May 2020
  • KurzfassungAbstract
    Abstract dialectical frameworks (ADFs) are generalizations of Dung argumentation frameworks where arbitrary relationships among arguments can be formalized. This additional expressibility comes with the price of higher computational complexity, thus an understanding of potentially easier subclasses is essential. Compared to Dung argumentation frameworks, where several subclasses such as acyclic and symmetric frameworks are well understood, there has been no in-depth analysis for ADFs in such direction yet (with the notable exception of bipolar ADFs). In this work, we introduce certain subclasses of ADFs and investigate their properties. In particular, we show that for acyclic ADFs, the different semantics coincide. On the other hand, we show that the concept of symmetry is less powerful for ADFs and further restrictions are required to achieve results that are similar to the known ones for Dung’s frameworks. A particular such subclass (support-free symmetric ADFs) turns out to be closely related to argumentation frameworks with collective attacks (SETAFs); we investigate this relation in detail and obtain as a by-product that even for SETAFs symmetry is less powerful than for AFs. We also discuss the role of odd-length cycles in the subclasses we have introduced. Finally, we analyse the expressiveness of the ADF subclasses we introduce in terms of signatures.
  • Weitere Informationen unter:Further Information: Link
  • Projekt:Project: CPEC
  • Forschungsgruppe:Research Group: Computational LogicComputational LogicLogische Programmierung und ArgumentationLogic Programming and Argumentation
@article{DZLW2020,
  author  = {Martin Diller and Atefeh Keshavarzi Zafarghandi and Thomas
             Linsbichler and Stefan Woltran},
  title   = {Investigating subclasses of abstract dialectical frameworks},
  journal = {Argument \& Computation},
  volume  = {11},
  number  = {1-2},
  year    = {2020},
  month   = {May},
  pages   = {191-219}
}