基于Gödel蕴涵算子的新型α-三I算法

来源：计算机科学与探索杂志2015年第12期北京时间：

作者：双靖宁，惠小静，贺锦瑞

单位：延安大学 数学与计算机科学学院，陕西 延安 716000

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

关键词：过半可信原则,RG 蕴涵算子,新型三I算法,新型α,-三I算法