Gödel semantics of fuzzy argumentation frameworks with consistency degrees

AIMS Mathematics

Jiachao Wu¹  Lingqiang Li²  Weihua Sun³ 

[1] 1 School of Mathematics and Statistics, Shandong Normal University, Jinan 250014, China;2 Department of Mathematics, Liaocheng University, Liaocheng 252059, China;3 School of Mathematics and Statistics, Shandong University, Weihai, Shandong 264209, China;

关键词: argumentation frameworks;    fuzzy arguments;    fundamental lemma;    characteristic function;    fuzzy argumentation frameworks;   

DOI  :  10.3934/math.2020260

来源: DOAJ

【 摘 要 】

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.

【 授权许可】

Unknown