cf2 Semantics Revisited

From International Center for Computational Logic

Toggle side column

cf2 Semantics Revisited

Sarah Alice GagglSarah Alice Gaggl,  Stefan WoltranStefan Woltran
cf2 Semantics Revisited

Slides: cf2 Semantics Revisited

Sarah Alice Gaggl, Stefan Woltran
cf2 Semantics Revisited
In Pietro Baroni, Federico Cerutti, Massimiliano Giacomin, Guillermo Ricardo Simari, eds., Proceedings of the Third International Conference on Computational Models of Argument (COMMA 2010), volume 216 of Frontiers in Artificial Intelligence and Applications, 243-254, September 2010. IOS Press
  • KurzfassungAbstract
    Abstract argumentation frameworks nowadays provide the most popular formalization of argumentation on a conceptual level. Numerous semantics for this paradigm have been proposed, whereby cf2 semantics has shown to nicely solve particular problems concernend with odd-length cycles in such frameworks. In or- der to compare different semantics not only on a theoretical basis, it is necessary to provide systems which implement them within a uniform platform. Answer-Set Programming (ASP) turned out to be a promising direction for this aim, since it not only allows for a concise representation of concepts inherent to argumentation se- mantics, but also offers sophisticated off-the-shelves solvers which can be used as core computation engines. In fact, many argumentation semantics have meanwhile been encoded within the ASP paradigm, but not all relevant semantics, among them cf2 semantics, have yet been considered. The contributions of this work are thus twofold. Due to the particular nature of cf2 semantics, we first provide an alter- native characterization which, roughly speaking, avoids the recursive computation of sub-frameworks. Then, we provide the concrete ASP-encodings, which are in- corporated within the ASPARTIX system, a platform which already implements a wide range of semantics for abstract argumentation.
  • Forschungsgruppe:Research Group: Computational LogicComputational LogicLogische Programmierung und ArgumentationLogic Programming and Argumentation
  author    = {Sarah Alice Gaggl and Stefan Woltran},
  title     = {cf2 Semantics Revisited},
  editor    = {Pietro Baroni and Federico Cerutti and Massimiliano Giacomin and
               Guillermo Ricardo Simari},
  booktitle = {Proceedings of the Third International Conference on
               Computational Models of Argument (COMMA 2010)},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {216},
  publisher = {IOS Press},
  year      = {2010},
  month     = {September},
  pages     = {243-254},
  doi       = {10.3233/978-1-60750-619-5-243}