[Zurück]


Zeitschriftenartikel:

W. Dvorak, R. Baumann, T. Linsbichler, S. Woltran:
"A general notion of equivalence for abstract argumentation";
Artificial Intelligence, 275 (2019), 275; S. 379 - 410.



Kurzfassung englisch:
We introduce a parametrized equivalence notion for abstract argumentation that subsumes standard and strong equivalence as corner cases. Under this notion, two argumentation frameworks are equivalent if they deliver the same extensions under any addition of arguments and attacks that do not affect a given set of core arguments. We also provide exact characterizations and complexity results. The proposed notion of equivalence is motivated by its capability to capture the concept of local simplifications. In fact, our equivalence notion allows to decide whether a sub-framework can be replaced by another one without changing the extensions in the framework which undergoes this change. Moreover, as our characterizations demonstrate deciding this form of equivalence does not require an analysis of the entire framework. This makes it an appealing formal underpinning for establishing general replacement patterns in argumentation frameworks.

Schlagworte:
Abstract argumentation Equivalence Local simplification Computational complexity


"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1016/j.artint.2019.06.006



Zugeordnete Projekte:
Projektleitung Johannes Peter Wallner:
EMBArg

Projektleitung Stefan Woltran:
Neue Werkzeuge für graphenbasierte formale Argumentation

Projektleitung Stefan Woltran:
START


Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.