[Zurück]

J. Delobelle, A. Haret, S. Konieczny, J. Mailly, J. Rossit, S. Woltran:
"Merging of Abstract Argumentation Frameworks";
Vortrag: 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016), Kapstadt; 25.04.2016 - 29.04.2016; in: "Principles of Knowledge Representation and Reasoning: Proceedings of the 15th International Conference", C. Baral, J. Delgrande, F. Wolter (Hrg.); AAAI Press, (2016), S. 33 - 42.

Formalizing dynamics of argumentation has received increasing attention over the last years. While AGM-like representation results for revision of argumentation frameworks (AFs) are now available, similar results for the problem of merging are still missing. In this paper, we close this gap and adapt model-based propositional belief merging to define extension-based merging operators for AFs. We state an axiomatic and a constructive characterization of merging operators through a family of rationality postulates and a representation theorem. Then we exhibit merging operators which satisfy the postulates. In contrast to the case of revision, we observe that obtaining a single framework as result of merging turns out to be a more subtle issue. Finally, we establish links between our new results and previous approaches to merging of AFs, which mainly relied on axioms from Social Choice Theory, but lacked AGM-like representation theorems.

http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12872/12459