On the Relationship of Modularity Notions in Abstract Argumentation

From International Center for Computational Logic

Toggle side column

On the Relationship of Modularity Notions in Abstract Argumentation

Tom FrieseTom Friese,  Markus UlbrichtMarkus Ulbricht
On the Relationship of Modularity Notions in Abstract Argumentation


Tom Friese, Markus Ulbricht
On the Relationship of Modularity Notions in Abstract Argumentation
In Leila Amgoud, Richard Booth, eds., Proceedings of the 19th edition of the International Workshop on Non-Monotonic Reasoning (NMR'21), 51-60, 2021
  • KurzfassungAbstract
    Abstract argumentation frameworks (AFs) as proposed by Dung in his seminal 1995 paper are by now a well-established and flourishing research area in knowledge representation and reasoning. Various aspects of AFs have been extensively studied over the last 25 years. Many of these are concerned with computational properties of reasoning problems in an AF, for example deciding whether a certain set of arguments is a so-called extension w.r.t. a given semantics. Recently, properties of semantics have been investigated in order to examine the potential of several divide & conquer techniques. For example, the notion of SCC decomposability formalizes how to calculate an extension by evaluating the strongly connected components individually. We extend this line of research and compare several notions with a special focus on the recently introduced modularization property.
  • Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems
@inproceedings{FU2021,
  author    = {Tom Friese and Markus Ulbricht},
  title     = {On the Relationship of Modularity Notions in Abstract
               Argumentation},
  editor    = {Leila Amgoud and Richard Booth},
  booktitle = {Proceedings of the 19th edition of the International Workshop on
               Non-Monotonic Reasoning (NMR'21)},
  year      = {2021},
  pages     = {51-60}
}