Faculty of Computer Science

Research Group Theoretical Computer Science

Oberseminar: Heterogene formale Methoden

Date: 2018, May 16
Author: Mossakowski, Till and Neuhaus, Fabian
Title: Modular Semantics and Characteristics for Bipolar Weighted Argumentation Graphs


This work addresses the semantics of weighted argumentation graphs that are bipolar, i.e. contain both attacks and supports for arguments. We build on previous work by Amgoud, Ben-Naim et. al. We study the various characteristics of acceptability semantics that have been introduced in these works. We provide a simplified and mathematically elegant formulation of these characteristics. The formulation is modular because it cleanly separates aggregation of attacking and supporting arguments (for a given argument a) from the computation of their influence on a’s initial weight. We discuss various semantics for bipolar argumentation graphs in the light of these characteristics. We also show divergence of Euler-based semantics for certain cyclic graphs, and provide the first semantics for bipolar weighted graphs that converges for all graphs.

Open problem for one of our proofs:
Let D\subseteq R be a connected set of reals, e.g. D=[0,1] or D=R. Given a continuous (perhaps also: differentiable) function iota: R \times D -> D that is strictly increasing in both arguments and that satisfies iota(0,y) = y, can we find different a,b in [0,1] and k in N such that iota(k(b-a),a) = iota(k(a-b),b) ?

Back to the Oberseminar web page