基于模糊命题逻辑形式系统FLcom的模糊推理及应用

Fuzzy Reasoning and its Application Based on Fuzzy Propositonal Logic

FLcom是建立在模糊集FScom基础上的一种区分矛盾否定、对立否定和中介否定的模糊命题逻辑形式系统。在模糊推理中关于否定的认识和处理主要以经典逻辑为基础,为此在FLcom基础上研究了区分3种否定的模糊推理规则的表示,给出了基于FLcom的模糊推理规则的合成算法FLMP和FLMT规则,新算法推广了CRI算法中的蕴涵算子,并给出了模糊推理应用的实例对比。结果表明FLcom在区分不同否定的实际应用中是合理可行的。

FLcom is a fuzzy propositional logic system with contradictory negation,opposite negation and medium negationis based on fuzzy set FScom. The major study on the negation of fuzzy inference and processing are based on classical logic. This paper researched the semantic interpretation of fuzzy inference rules which distinguish three kinds of ne gation： contradictory negation, opposite negation and medium negation. The new algorithm of compositional rules of inference generalizes the implication operator in CRI algorithm. At last we compared the FLMP algorithm with CRI algorithm by using an example. Through the example analysis, the results show that the new algorithm is reasonable and feasible.