区分矛盾否定、对立否定和中介否定的模糊集FScom与模糊逻辑FLcom理论及其在典型的知识处理领域中应用的研究

Cognition and handling for the various negations of the fuzzy knowledge is an important content in field of the knowledge processing. So far,the investigation of scholars are mainly for methodologies on the processing methods of different negative knowledge in concrete computing systems. In recent years we investigated fuzzy knowledge and its different negations from the essence of the concept, established the negation in the fuzzy concept incldue contradictory negation, opposite negation and medium negation. Based on this cognition, we have first proposed a fuzzy set with contrdictory negation, opposition negation and medium negation (FScom) and a fuzzy propositional logic with contradictory negation, opposition negation and medium negayion (FLcom),and investigated basic operations, properties of FScom and FLcom and so on. This item aim to more study the theories of FScom and FLcom, and applications of FScom and FLcom in the field of fuzzy knowledge processing. On the aspect of theory, we study mainly the arithmetic operators and axioms of operations in the FScom,the representation theorem, the cut sets of contradictory negation, oppsite negation and medium negation,the decomposition theorem based on these cur sets,the formal expressive power of FScom and FLcom, the fuzzy predicate logic and the fuzzy description logic based on FLcom. On the aspect of applications, we atudy mainly algorithms and revertness of inference based on FLcom, the Fuzzy Decision and the Fuzzy inference systems based on FScom and FLcom, and its actual applications in the field of multiattribute and multiobject fuzzy decision making and fuzzy Control.

在知识研究领域，对模糊知识中不同否定的认知、区分、表达与推理是模糊知识处理的重要基础。近年来我们从概念本质上区分确定了模糊性概念中的三种不同否定，提出一种具有矛盾否定、对立否定和中介否定的模糊集FScom和模糊命题逻辑FLcom，并研究了它们的基本运算、性质与特征等。本项目旨在更深入地研究、完善FScom和FLcom理论及其在典型的模糊知识处理领域的具体应用。理论方面着重研究FScom与FLcom 基本运算的算子化与公理化及表现定理，基于FScom的具有三种否定的新贴近度，基于FLcom的模糊谓词逻辑及模糊描述逻辑,以及它们对模糊知识的表达能力等；应用方面着重研究基于FLcom以及模糊谓词逻辑中矛盾否定、对立否定和中介否定的不同模糊拒取式推理及其算法，以及算法的还原性，研究基于FLcom的模糊谓词逻辑及模糊描述逻辑的模糊推理机、模糊决策方法，以及它们在模糊控制和模糊决策领域中的实际应用。

项目完成情况及取得成果简述如下：(1)本项目在国家自然科学基金项目（60575038, 60973156）的研究基础上，继续研究模糊集FSCOM与模糊逻辑FLCOM的理论及其在典型的知识处理领域中应用。(2)关于FSCOM与FLCOM的理论研究，主要研究了(a) 中介否定的存在性，(b) l中介否定集和l区间函数，(c) 具有矛盾否定、对立否定和中介否定的模糊谓词逻辑FLCOM，(d)FSCOM与FLCOM的三种否定的算子化及其表现定理，(e) FLCOM的 归结原理，(f) 基于FLCOM的模糊拒取式推理及其算法，(g) FSCOM的贴近度与包含度及其计算方法，(h) FLCOM的三值语义，(i) 基于FLCOM的模糊模态命题逻辑，(j) FLCOM、FLCOM、FNDSCOM和MKCOM的语法完全性，(k) 基于FLCOM的模糊命题逻辑自然推理系统。(3)关于FSCOM与FLCOM的应用研究，主要研究了(a) FSCOM与FLCOM在模糊决策、模糊综合评判以及模糊推理中的应用，(b) 基于FSCOM与FLCOM的模糊回答集程序，(c) 基于FSCOM与FLCOM的资源描述框架扩展，(d) 基于FLCOM的模糊知识推理及搜索算法，(e) GFSCOM模糊集在模糊系统设计中的应用。(4)本项目组迄今拟写出35篇学术论文。其中，30篇已在国内外学术刊物及国际学术会议上发表，5篇已投稿。另外，以本项目研究为主题的1部学术专著《具有三种否定的模糊集与模糊逻辑的理论及其应用》（49.5万字），2017年9月由科学出版社出版。（5）已培养4名硕士生毕业。这些项目研究成果将在知识处理、不确定性数学等研究领域中产生影响。