Journal of Frontiers of Computer Science and Technology ›› 2015, Vol. 9 ›› Issue (12): 1531-1536.DOI: 10.3778/j.issn.1673-9418.1503045

Previous Articles    

New α-Triple I Method Based on Gödel Implication Operator

SHUANG Jingning, HUI Xiaojing+, HE Jinrui   

  1. College of Mathematics and Computer Science, Yan'an University, Yan'an, Shaanxi 716000, China
  • Online:2015-12-01 Published:2015-12-04

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

双靖宁,惠小静+,贺锦瑞   

  1. 延安大学 数学与计算机科学学院,陕西 延安 716000

Abstract: 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 I 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 RG implication operator satisfies the principle of credit beyond half. Four methods are discussed and proved based on RG implication operator, they are FMP (fuzzy modus ponens) model and FMT (fuzzy modus tollens) model fuzzy reasoning new triple I methods and new α-triple I method.

Key words:  principle of credit beyond half, RG implication operator, new triple I method, new α-triple I method

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

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