Theory And Application Research Of Fuzzy Logical FL_COMand Fuzzy Set FS_COM With Three Kinds Of Negation

In the representation and reasoning of fuzzy knowledge, the concept of negation plays aspecial role. One kind of negation in the classic set and classical logic cannot satisfy the needsof the development of information any longer. Domestic and foreign scholars put forwardnew ideas of negation in the field of information processing. However, their achievements areaccording to their respective processing needs of negation in their fields with no universalmeaning. The fuzzy logic FL_COM and the fuzzy set FS_COM cognize and distinguish variouskinds of negation in fuzziness knowledge from the essence of concept. In following chaptersof this paper, a study on related theory researches and applications of FL_COM and FS_COM isdemonstrated.In Chapter1, we describe the formation, the development and the research status of fuzzylogic, and compare the diverse logic-based methods which are used to process the negation ofknowledge in the field of information processing.In chapter2, we introduce the different relations of negation and their mathematicaldefinitions in fuzzy knowledge at first. And then we discuss the definitions and properties ofthe fuzzy set FS_COM and fuzzy logic FL_COM. At last, we compare the cognitions and processof negation of current typical fuzzy logics. The result shows that the FS_COM and FL_COM haveabilities and characteristics in recognizing and processing different negations and theirrelations.In chapter3, an infinite value semantic explanation of FL_COM is proposed. Based on thetheory research of the FL_COM axiom, each FL_COM axiom is λ-tautology under the G delimplication operator. The reliability is proved and some theoretical foundation to extend theFL_COM fuzzy reasoning algorithm is established.In Chapter4, based on the fuzzy propositional logic FL_COM and fuzzy set FS_COM, weresearch the formal denotation, inference and computation of fuzzy knowledge. We extendthe fuzzy and-or graph, turn the propositional formulas as state nodes, express the logicalrules as the search space, construct and-or graph of the fuzzy propositional formula. Wemodify heuristic function on the basis of the traditional and-or graph search algorithm, andgive out a method to process negation information in the process of reasoning, transformingthe fuzzy knowledge reasoning into the state space searching problem, and using the statespace searching to solve the problem of fuzzy knowledge reasoning.In Chapter5, it is a instance, application of the fuzzy logic FL_COM, about the assistantdecision-making in a financial investment, in which, the distance ratio function is used toprovide a true value measurement method for fuzzy proposition and its different negations, aswell as to provide a method to determine λvalue in FL_COM semantic model. In combinationwith fuzzy production rules, the reasoning and applications of FL_COM in fuzzy decision arediscussed.