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

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