DeepAI AI Chat
Log In Sign Up

ConArg: a Tool to Solve (Weighted) Abstract Argumentation Frameworks with (Soft) Constraints

by   Stefano Bistarelli, et al.

ConArg is a Constraint Programming-based tool that can be used to model and solve different problems related to Abstract Argumentation Frameworks (AFs). To implement this tool we have used JaCoP, a Java library that provides the user with a Finite Domain Constraint Programming paradigm. ConArg is able to randomly generate networks with small-world properties in order to find conflict-free, admissible, complete, stable grounded, preferred, semi-stable, stage and ideal extensions on such interaction graphs. We present the main features of ConArg and we report the performance in time, showing also a comparison with ASPARTIX [1], a similar tool using Answer Set Programming. The use of techniques for constraint solving can tackle the complexity of the problems presented in [2]. Moreover we suggest semiring-based soft constraints as a mean to parametrically represent and solve Weighted Argumentation Frameworks: different kinds of preference levels related to attacks, e.g., a score representing a "fuzziness", a "cost" or a probability, can be represented by choosing different instantiation of the semiring algebraic structure. The basic idea is to provide a common computational and quantitative framework.


page 1

page 2

page 3

page 4


The DIAMOND System for Argumentation: Preliminary Report

Abstract dialectical frameworks (ADFs) are a powerful generalisation of ...

Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems

Dung's famous abstract argumentation frameworks represent the core forma...

Solving Advanced Argumentation Problems with Answer Set Programming

Powerful formalisms for abstract argumentation have been proposed, among...

A Matrix Approach for Weighted Argumentation Frameworks: a Preliminary Report

The assignment of weights to attacks in a classical Argumentation Framew...

Paracoherent Answer Set Semantics meets Argumentation Frameworks

In the last years, abstract argumentation has met with great success in ...

AFRA: Argumentation framework with recursive attacks

The issue of representing attacks to attacks in argumentation is receivi...

Weighted Abstract Dialectical Frameworks: Extended and Revised Report

Abstract Dialectical Frameworks (ADFs) generalize Dung's argumentation f...