[Zurück]

W. Dvorak, P. Dunne, S. Woltran:
"Parametric Properties of Ideal Semantics";
Vortrag: International Joint Conference on Artificial Intelligence (IJCAI), Barcelona, Catalonia, Spain; 16.07.2011 - 22.07.2011; in: "Proceedings of the 22^nd Int. Joint Conference on Artificial Intelligence", T. Walsh (Hrg.); AAAI Press, (2011), ISBN: 978-1-57735-516-8; Paper-Nr. 148, 6 S.

The concept of "ideal semantics" has been promoted as an alternative basis for skeptical reasoning within abstract argumentation settings. Informally, ideal acceptance not only requires an argument to be skeptically accepted in the traditional sense but further insists that the argument is in an admissible set all of whose arguments are also skeptically accepted. The original proposal was couched in terms
of the so-called preferred semantics for abstract argumentation. We argue, in this paper, that the notion of "ideal acceptability" is applicable to arbitrary semantics and justify this claim by showing
that standard properties of classical ideal semantics, e.g. unique status, continue to hold in any "reasonable" extension-based semantics. We categorise the relationship between the divers concepts
of "ideal extension wrt semantics σ" that arise and we present a comprehensive analysis of algorithmic and complexity-theoretic issues.

Projektleitung Reinhard Pichler:
Theoretisch Effiziente Lösbarkeit vs. Praktische Berechnung

Projektleitung Stefan Woltran:
Neue Methoden für Analyse, Vergleich und Lösung von Argumentationsproblemen