Stage semantics and the SCC-recursive schema for argumentation semantics

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Stage semantics and the SCC-recursive schema for argumentation semantics

Sarah Alice GagglSarah Alice Gaggl,  Wolfgang DvořákWolfgang Dvořák
Sarah Alice Gaggl, Wolfgang Dvořák
Stage semantics and the SCC-recursive schema for argumentation semantics
Journal of Logic and Computation, 26(4):1149-1202, August 2016
  • KurzfassungAbstract
    Recently, stage and cf2 semantics for abstract argumentation attracted specific attention. By distancing from the notion of defence, they are capable to select arguments out of odd-length cycles. In case of cf2 semantics, the SCC-recursive schema guarantees that important evaluation criteria for argumentation semantics, like directionality, weak- and CF-reinstatement, are fulfilled. Beside several desirable properties, both stage and cf2 semantics still have some drawbacks. The stage semantics does not satisfy the above mentioned evaluation criteria, whereas cf2 semantics produces some questionable results on frameworks with cycles of length ≥ 6. Therefore, we suggest to combine stage semantics with the SCC-recursive schema of cf2 semantics. The resulting stage2 semantics overcomes the problems regarding cf2 and stage semantics. We study properties of stage2 semantics and its relations to existing semantics, show that it fulfills the mentioned evaluation criteria, study strong equivalence for stage2 semantics and provide a comprehensive complexity analysis of the associated reasoning problems. Besides the analysis of stage2 semantics, we also complement existing complexity results for cf2 by an analysis of tractable fragments and fixed parameter tractability. Furthermore, we provide answer-set programming (ASP) encodings for stage2 semantics and labelling-based algorithms for cf2 and stage2 semantics.
  • Weitere Informationen unter:Other info: Link
  • Forschungsgruppe:Research Group: Computational Logic
@article{GD2016,
  author    = {Sarah Alice Gaggl and Wolfgang Dvo{\v{r}}{\'{a}}k},
  title     = {Stage semantics and the {SCC-recursive} schema for argumentation
               semantics},
  journal   = {Journal of Logic and Computation},
  volume    = {26},
  number    = {4},
  publisher = {Oxford University Press},
  year      = {2016},
  month     = {August},
  pages     = {1149-1202},
  doi       = {10.1093/logcom/exu006}
}