444c3903136c1468.tex
1: \begin{abstract}
2: Weighted bipolar argumentation frameworks offer a tool for
3:  decision support and social media analysis.
4: Arguments are evaluated by an iterative procedure that takes
5: initial weights and attack and support relations into account. 
6: Until recently, convergence of these iterative procedures was not very
7: well understood in cyclic graphs.
8: Mossakowski and Neuhaus recently introduced a unification of different approaches
9: and proved first convergence and divergence results.
10: We build up on this work, simplify and generalize convergence results and 
11: complement them with runtime guarantees.
12: As it turns out, there is a tradeoff between semantics' convergence guarantees
13: and their ability to move strength values away from the initial weights. 
14: We demonstrate that divergence problems can be avoided without this tradeoff
15: by continuizing semantics. 
16: Semantically, we extend the framework with a Duality property that assures 
17: a symmetric impact of attack and support relations.
18: We also present a Java implementation of modular semantics and explain
19:  the practical usefulness of the theoretical ideas. 
20: \end{abstract}
21: