DeepAI AI Chat
Log In Sign Up

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

by   Sosuke Moriguchi, et al.

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.


page 1

page 2

page 3

page 4


Strong Admissibility for Abstract Dialectical Frameworks

Abstract dialectical frameworks (ADFs) have been introduced as a formali...

The SCC-recursiveness Principle in Fuzzy Argumentation Frameworks

Dung's abstract argumentation theory plays a guiding role in the field o...

Applying Abstract Argumentation Theory to Cooperative Game Theory

We apply ideas from abstract argumentation theory to study cooperative g...

A Preliminary Report on Probabilistic Attack Normal Form for Constellation Semantics

After Dung's founding work in Abstract Argumentation Frameworks there ha...

Understanding the Abstract Dialectical Framework (Preliminary Report)

Among the most general structures extending the framework by Dung are th...

Expressiveness of SETAFs and Support-Free ADFs under 3-valued Semantics

Generalizing the attack structure in argumentation frameworks (AFs) has ...