基于G?del蕴涵算子的新型α-三Ⅰ算法

New α- Triple Ⅰ Method Based on G?del Implication Operator

Fuzzy推理条件应当是可信的或基本可信的,否则对其研究就无意义,因此进行推理时对已知条件真实程度不超过1/2的值不予考虑。新型α-三Ⅰ算法将推理中的大小前提进行修正,摒弃了不可信的推理成分,从而简化了运算过程。基于Fuzzy推理中提出的"过半可信"原则,证明了R_G蕴涵算子满足这一原则,并讨论了R_G蕴涵算子下FMP(fuzzy modus ponens)模型和FMT(fuzzy modus tollens)模型的新型三Ⅰ算法以及新型α-三Ⅰ算法的计算公式且给予证明。

Fuzzy reasoning conditions should be credible or basic credible, otherwise it’s meaningless to study. So it isn’t considered that the true extent doesn’t exceed the value of 1/2 when making the fuzzy reasoning. In order to simplify the process of operations, new α- Triple Ⅰ method revises the major and minor premise of the reasoning,and abandons the unreliable components. Based on the principle of credit beyond half of fuzzy reasoning, it is proved that R_G implication operator satisfies the principle of credit beyond half. Four methods are discussed and proved based on R_G implication operator, they are FMP（fuzzy modus ponens） model and FMT（fuzzy modus tollens） model fuzzy reasoning new triple I methods and new α- Triple Ⅰ method.