Gödel semantics of fuzzy argumentation frameworks with consistency degrees

Argumentation frameworks (AF) play important roles in artificial intelligence. This paper is an exploration in establishing semantics of fuzzy AFs by fuzzy sets. There are many ways to characterize the semantics of fuzzy AFs. In this paper, our work is based on the assumption that some inconsistency...

Full description

Saved in:
Bibliographic Details
Published inAIMS mathematics Vol. 5; no. 4; pp. 4045 - 4064
Main Authors Wu, Jiachao, Li, Lingqiang, Sun, Weihua
Format Journal Article
LanguageEnglish
Published AIMS Press 01.01.2020
Subjects
argumentation frameworks
characteristic function
fundamental lemma
fuzzy argumentation frameworks
fuzzy arguments
Online AccessGet full text

Cover

More Information
Summary:Argumentation frameworks (AF) play important roles in artificial intelligence. This paper is an exploration in establishing semantics of fuzzy AFs by fuzzy sets. There are many ways to characterize the semantics of fuzzy AFs. In this paper, our work is based on the assumption that some inconsistency of the system is permitted. Firstly, we formalize the conflict-freeness with a consistency degree x and the acceptability with a consistency degree y. Various types of extensions are then defined in a way similar to Dung’s approach. The conflict-freeness and acceptability can be seen as an interpretation of the corresponding notion in Janssen’s work. Formally, we add the conflict-freeness into the admissible extensions and the preferred extensions. We also introduce the complete extensions and the grounded extensions. Moreover, some basic properties are proven, such as the Fundamental Lemma, the algorithm of the grounded extension, etc. At last, it is proven to be consistent with Dung’s original semantics in crisp AFs.
ISSN:2473-6988
2473-6988
DOI:10.3934/math.2020260