基于削弱式保护的模糊论辩框架研究

As a special case of non-monotonic logics, semantics of argumentation frameworks (AFs) can suitably illustrate the solutions of many famous problems, such as: the stable married problem, the n-persons games and so on. When applying it in the fields of multi-agent systems and legal argument, we often meet fuzzy cases. Then, the fuzzy theory of AFs comes out. However, the existed fuzzy semantics is not prefect and, many natural and important applications can not be explained. Now, there are two basic forms of semantics of fuzzy AFs: crisp sets with a special value and fuzzy sets. The former is not good at considering the local cases, and the latter has more bugs. But the bugs of the latter are technical problems, it is not impossible to develop it. In this project, based on our fuzzy knowledge, we will introduce new semantics of fuzzy AFs, according to the existed bugs: Firstly, in order to introduce fuzzy mathematics into the research of fuzzy semantics more naturally, we will reestablish the fuzzy AFs, from the necessity of the existed applications. Next, according to the difference between the fuzzy AFs theory and its applications, we introduce a new idea of defence: defence in the way of weakening. Consequently, we will reestablish new semantics of fuzzy AFs, based on this kind of defence. Finally, basic properties of fuzzy AFs will be studied. Then we will carry out our aim of searching for new semantics of fuzzy AFs, such that new theories, which can direct the real world, can be introduced.

作为非单调逻辑的特殊形式，论辩框架理论可为稳定婚姻问题、多人游戏等问题的解提供合理解释。因在证词表述、智能系统等应用中常有模糊情形，其模糊形式应运而生。然而，模糊论辩框架的语义尚存缺陷，难以解释很多自然而重要的应用。当前，模糊论辩框架的语义有两种基本形式：带权值的确定性集合和模糊集。前者对局部性质的刻画存在不足，后者则存在更多缺陷。但后者的缺陷都是技术性缺陷，存在改进的可能性。本项目中，我们将针对现有研究成果存在的问题，以模糊集为工具，重建模糊论辩框架及其语义体系：首先，为便于模糊集理论更自然地融入，我们从实际需要出发，用模糊数学的语言重建模糊论辩框架。然后，根据现有应用和理论的差异，我们提出一种全新的保护理念：削弱式保护。并以该保护方式为基础，构建模糊论辩框架的语义体系。最后，初步刻画这些模糊语义的基本性质。最终实现探索模糊论辩框架新型语义体系的目标，为理论和实际应用提供新的理论依据。

作为一种非单调逻辑形式，Dung的论辩框架理论已应用于人工智能等多个研究领域。本项目的工作是对论辩框架的模糊形态展开研究，探索其语义形式。.本项目的研究内容可分为如下几个方面：首先，我们对模糊论辩框架本身的数学形式进行了研究，构建同时包含模糊论点和模糊攻击关系的模糊论辩框架模型。然后，基于削弱式保护的观点，我们在对该保护方式的数学方程式进行探讨的基础上，对其语义体系展开了研究，并对其标签理论，动态模糊论辩框架等内容进行了一定的研究。进而，我们对其他的保护方式进行了探讨，得到比较式的保护方式。并以此为基础，对模糊论辩框架的语义进行了研究。同时，根据论辩框架与logic program的关系， 我们对模糊论辩框架与模糊logic program的关系进行了一定的探讨，利用模糊logic program对模糊论辩框架进行了表示。 此外，项目组还研究了含有高阶攻击关系的论辩框架、概率与模糊共存的论辩框架等内容。.主要研究成果可分为如下几个方面：首先，基于削弱式保护和比较式保护，分别建立了模糊论辩框架的两种语义体系。这两个语义体系，虽然都是基于模糊论辩框架的，但其构造形式差别很大。其次，通过对模糊论辩框架与模糊logic program的关系研究，我们用模糊logic program构建了模糊论辩框架，这将模糊论辩框架和模糊逻辑进行了有机结合，为模糊论辩框架奠定了一定的理论基础。最后，我们对标签理论和动态理论进行了研究，得到了这两个理论在模糊论辩框架中的表达形式。.这些研究的科学意义在于，一方面我们构建了模糊论辩框架的语义体系，这是一个全新的内容。同时，我们对模糊论辩框架理论的深入研究，为模糊论辩框架理论的应用，奠定了一定的理论基础。