Talks and Poster Presentations (with Proceedings-Entry):
W. Dvorak, S. Gaggl:
"Incorporating Stage Semantics in the SCC-recursive Schema for Argumentation Semantics.";
Talk: International Workshop on Non-Monotonic Reasoning (NMR),
- 2012-06-10; in: "Proceedings of 14th International Workshop on Non-Monotonic Reasoning",
R. Rosati, S. Woltran (ed.);
Paper ID 10,
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 SCCrecursive 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.
Project Head Stefan Woltran:
Neue Methoden für Analyse, Vergleich und Lösung von Argumentationsproblemen
Created from the Publication Database of the Vienna University of Technology.