2014
The Complexity of Repairing, Adjusting, and Aggregating of Extensions in Abstract Argumentation
ORDYNIAK, Sebastian, Stefan SZEIDER a Kim EUN JUNGZákladní údaje
Originální název
The Complexity of Repairing, Adjusting, and Aggregating of Extensions in Abstract Argumentation
Autoři
ORDYNIAK, Sebastian (276 Německo, garant, domácí), Stefan SZEIDER (40 Rakousko) a Kim EUN JUNG (410 Korejská republika)
Vydání
Lecture Notes in Computer Science, Lecture Notes in Computer Science, od s. 158-175, 18 s. 2014
Nakladatel
Springer
Další údaje
Jazyk
angličtina
Typ výsledku
Stať ve sborníku
Obor
10000 1. Natural Sciences
Stát vydavatele
Německo
Utajení
není předmětem státního či obchodního tajemství
Forma vydání
tištěná verze "print"
Impakt faktor
Impact factor: 0.402 v roce 2005
Kód RIV
RIV/00216224:14330/14:00075259
Organizační jednotka
Fakulta informatiky
ISBN
978-3-642-54372-2
ISSN
Klíčová slova anglicky
abstract argumentation;dynamic argumentation;parameterized complexity
Příznaky
Mezinárodní význam, Recenzováno
Změněno: 25. 4. 2014 14:08, RNDr. Pavel Šmerk, Ph.D.
Anotace
V originále
We study the computational complexity of problems that arise in abstract argumentation in the context of dynamic argumentation, minimal change, and aggregation. In particular, we consider the following problems where always an argumentation framework F and a small positive integer k are given. The Repair problem asks whether a given set of arguments can be modified into an extension by at most k elementary changes (i.e., the extension is of distance k from the given set). The Adjust problem asks whether a given extension can be modified by at most k elementary changes into an extension that contains a specified argument. The Center problem asks whether, given two extensions of distance k, whether there is a ``center'' extension that is a distance at most (k-1) from both given extensions. We study these problems in the framework of parameterized complexity, and take the distance k as the parameter. Our results covers several different semantics, including admissible, complete, preferred, semi-stable and stable semantics.
Návaznosti
EE2.3.30.0009, projekt VaV |
|