Log In Sign Up

The SCC-recursiveness Principle in Fuzzy Argumentation Frameworks

by   Zongshun Wang, et al.

Dung's abstract argumentation theory plays a guiding role in the field of formal argumentation. The properties of argumentation semantics have been deeply explored in the previous literature. The SCC-recursiveness principle is a property of the extensions which relies on the graph-theoretical notion of strongly connected components. It provides a general recursive schema for argumentation semantics, which is an efficient and incremental algorithm for computing the argumentation semantics. However, in argumentation frameworks with uncertain arguments and uncertain attack relation, the SCC-recursive theory is absence. This paper is an exploration of the SCC-recursive theory in fuzzy argumentation frameworks (FAFs), which add numbers as fuzzy degrees to the arguments and attacks. In this paper, in order to extend the SCC-recursiveness principle to FAFs, we first modify the reinstatement principle and directionality principle to fit the FAFs. Then the SCC-recursiveness principle in FAFs is formalized by the modified principles. Additionally, some illustrating examples show that the SCC-recursiveness principle also provides an efficient and incremental algorithm for simplify the computation of argumentation semantics in FAFs.


page 1

page 2

page 3

page 4


On Computing Stable Extensions of Abstract Argumentation Frameworks

An abstract argumentation framework (af for short) is a directed graph (...

Rediscovering Argumentation Principles Utilizing Collective Attacks

Argumentation Frameworks (AFs) are a key formalism in AI research. Their...

AFRA: Argumentation framework with recursive attacks

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

Probabilistic Argumentation. An Equational Approach

There is a generic way to add any new feature to a system. It involves 1...

Research Note on Uncertain Probabilities and Abstract Argumentation

The sixth assessment of the international panel on climate change (IPCC)...

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

In this paper, we propose a new method for computing general allocators ...

Abstract Argumentation and the Rational Man

Abstract argumentation has emerged as a method for non-monotonic reasoni...