[Zurück]

A. Haret, J. P. Wallner:
"Manipulation of Semantic Aggregation Procedures for Propositional Knowledge Bases and Argumentation Frameworks";
Vortrag: International Workshop on Non-Monotonic Reasoning (NMR), Tempe, Arizona; 27.10.2018 - 29.10.2018; in: "Proceedings of the 17th International Workshop on Non-monotonic Reasoning", E. Fermé, S. Villata (Hrg.); (2018), Paper-Nr. 146, 10 S.

We study the potential for manipulation of semantic aggregation procedures for argumentation frameworks (AFs) and propositional knowledge bases. The basis for our study is a framework that investigates questions of manipulability and strategy-proofness for logic-based merging, which provides the foundation to several operators for aggregating AFs. We enrich a key component of this framework---the satisfaction indices which formalize when manipulation by an agent pays off---with two main approaches to AF reasoning: skeptical and credulous acceptance of arguments. In propositional knowledge bases, skeptical consequences are propositions true in all models, while credulous consequences are propositions true in at least one model. We find that, even in restricted cases, most aggregation procedures are vulnerable to manipulation by an agent for both (i) propositional knowledge bases and (ii) AFs under the stable, preferred, and grounded semantics. However, aggregation is not manipulable (i.e., is strategy-proof) under one well-known operator when the bases, or AFs, are semantically complete (i.e., have exactly one semantical model). Finally, we provide complexity results for computing our novel indices.

Projektleitung Johannes Peter Wallner:
EMBArg

Projektleitung Stefan Woltran:
START