VisPrAF: A system for visually specifying and reasoning over probabilistic abstract argumentation frameworks

We present VisPrAF, a system supporting the usage of probabilistic abstract argumentation for modeling disputes in the presence of uncertainty. VisPrAF provides a user-friendly graphical interface for specifying the possible scenarios (in terms of sets of arguments and attacks occurring in the dispute) and their probabilities. Moreover, it provides a reasoning engine that allows the analyst to evaluate the probabilities of extensions and acceptable arguments. Both the graphical interface and the reasoning engine consider the most popular paradigms for modeling prAAFs, and they allow the use of simple constructs for specifying typical correlations between arguments/defeats (such as co-existence and mutual exclusivity) that can make the specification of intricate scenarios intuitive and compact.