Research On Symmetric Implicational Method Of Fuzzy Reasoning

Reasoning is one of the core features of human intelligence and plays an important role in the development of artificial intelligence.Fuzzy reasoning has become an important part of the field of artificial intelligence,It plays a very important role in the fields of fuzzy control system,fuzzy neural network and fuzzy decision support system.The core problems of fuzzy reasoning are FMP(fuzzy modus ponens)problem and FMT(fuzzy modus tollens)problem respectively.The rules of fuzzy separation in fuzzy reasoning theory are given by Zadeh,and the CRI method is formed to promote the rapid development of fuzzy reasoning theory.Subsequently,Li Hongxing points out that the fuzzy system based on CRI method is essentially an interpolator.Wang Guojun pointed out that CRI method deviates from the framework of semantic implication by using compound operation.In 1999,the triple I method was proposed from the point of view of logic semantics.Although triple I method has many advantages in logic semantics and reducibility,it is undeniable that its performance and practicability are not ideal.With the further study of the triple I method,the triple I method which the first,second and third implication operators are not the same is proposed,and it is pointed out that the CRI method is a special triple I method which the second and third implication operators take the Mamdani operator,thus a series of researches on the differently implictional universal triple I method of(1,2,2)type and the symmetric implicational method.In this dissertation,we will further study the symmetric implicational method.The main work of this dissertation is as follows:(1)According to the theory of restriction degree of triple I method,the symmetric implication restriction inference method is extended,the symmetric implication restriction inference method is studied,and some kinds of the definitions of symmetric implication restriction inference solutions are given,and the unified solutions are calculated for some implication operators.Some related conditions are obtained.(2)The combination of the Theory of FMT-three ?~* method and symmetric implicational method,FMT-symmetric ?~* method is extended,and the definition and solving principle of FMT-symmetric ?~* method are given.FMT-symmetric ?~* method is further extended to ?-FMT-symmetric ?~* method.The definition and solutions of ?-FMT-symmetric ?~* method are discussed.At last,the contrapositive reducibility of symmetric implication ?~* method is analyzed.(3)For some specific implication operators,the solutions of symmetric implication restriction inference method and FMT-symmetric ?~* method are calculated.Finally,combined with emotional computing,an emotional polarity recognition system based on symmetric implication restriction inference method is proposed.