Incorporating Stage Semantics in the SCC-recursive Schema for Argumentation Semantics

From International Center for Computational Logic
Toggle side column

Incorporating Stage Semantics in the SCC-recursive Schema for Argumentation Semantics

Wolfgang DvořákWolfgang Dvořák,  Sarah Alice GagglSarah Alice Gaggl
Wolfgang Dvořák, Sarah Alice Gaggl
Incorporating Stage Semantics in the SCC-recursive Schema for Argumentation Semantics
Technical Report, Technische Universität Wien, volume DBAI-TR-2012-78, 2012
  • KurzfassungAbstract
    Recently, the stage and cf2 semantics for abstract argumentation attracted specific attention. By distancing from the notion of defense, they are capable to select arguments out of odd-length cycles. Furthermore, the maximality criterion of naive sets ensures reasonable solutions. The SCC-recursive schema, where the cf2 semantics is defined in, guarantees that some specific evaluation criteria, 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. That’s why we suggest to combine stage semantics with the SCC-recursive schema of cf2 semantics. The resulting stage2 semantics overcomes the problems regarding cf2 semantics and still fulfills the mentioned evaluation criteria. Furthermore, we analyze redundant patterns for stage2 semantics, and we provide a complexity analysis of the associated reasoning problems.
  • Forschungsgruppe:Research Group: Computational LogicComputational LogicLogische Programmierung und ArgumentationLogic Programming and Argumentation
@techreport{DG2012,
  author      = {Wolfgang Dvo{\v{r}}{\'{a}}k and Sarah Alice Gaggl},
  title       = {Incorporating Stage Semantics in the {SCC-recursive} Schema for
                 Argumentation Semantics},
  institution = {Technische Universit{\"{a}}t Wien},
  year        = {2012}
}