Compiling Arguments in an Argumentation Framework into Three-valued Logical Expressions

11/04/2019
by   Sosuke Moriguchi, et al.
0

In this paper, we propose a new method for computing general allocators directly from completeness conditions. A general allocator is an abstraction of all complete labelings for an argumentation framework. Any complete labeling is obtained from a general allocator by assigning logical constants to variables. We proved the existence of the general allocators in our previous work. However, the construction requires us to enumerate all complete labelings for the framework, which makes the computation prohibitively slow. The method proposed in this paper enables us to compute general allocators without enumerating complete labelings. It also provides the solutions of local allocation that yield semantics for subsets of the framework. We demonstrate two applications of general allocators, stability, and a new concept for frameworks, termed arity. Moreover, the method, including local allocation, is applicable to broad extensions of frameworks, such as argumentation frameworks with set-attacks, bipolar argumentation frameworks, and abstract dialectical frameworks.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/10/2020

Strong Admissibility for Abstract Dialectical Frameworks

Abstract dialectical frameworks (ADFs) have been introduced as a formali...
research
06/16/2020

The SCC-recursiveness Principle in Fuzzy Argumentation Frameworks

Dung's abstract argumentation theory plays a guiding role in the field o...
research
05/15/2019

Applying Abstract Argumentation Theory to Cooperative Game Theory

We apply ideas from abstract argumentation theory to study cooperative g...
research
05/02/2014

Extension-based Semantics of Abstract Dialectical Frameworks

One of the most prominent tools for abstract argumentation is the Dung's...
research
07/04/2016

Understanding the Abstract Dialectical Framework (Preliminary Report)

Among the most general structures extending the framework by Dung are th...
research
06/25/2021

Learning Gradual Argumentation Frameworks using Genetic Algorithms

Gradual argumentation frameworks represent arguments and their relations...

Please sign up or login with your details

Forgot password? Click here to reset