7885e8bed0239ee8.tex
1: \begin{abstract}
2: Weighted bipolar argumentation frameworks allow modeling decision problems and
3: online discussions by defining arguments and their relationships.
4: The strength of arguments can be computed based on an initial weight and
5: the strength of attacking and supporting arguments.
6: While previous approaches assumed an acyclic argumentation graph and successively 
7: set arguments' strength based on the strength of their parents,
8: recently continuous dynamical systems have been proposed as an alternative.
9: Continuous models update arguments' strength simultaneously and continuously. 
10: While there are currently no analytical guarantees for convergence
11: in general graphs, experiments show that continuous models can converge 
12: quickly in large cyclic graphs with thousands of arguments. 
13: Here, we focus on the high-level ideas of this approach
14: and explain key results and applications.
15: We also introduce \emph{Attractor}, a Java library that can be used to solve 
16: weighted bipolar argumentation problems.
17: \emph{Attractor} contains implementations of several discrete and continuous models and numerical algorithms to compute solutions.
18: It also provides base classes that can be used 
19: to implement, to evaluate and to compare continuous models easily.
20: \end{abstract}
21: