Computer Engineering and Applications ›› 2008, Vol. 44 ›› Issue (9): 61-63.

• 理论研究 • Previous Articles     Next Articles

Triple I Method and α-Triple I Method with Parametric IIP System

WANG Qing-ping,ZHENG Hong-xia,ZHANG Xing-fang   

  1. School of Mathematics Science,Liaocheng University,Liaocheng,Shandong 252059,China
  • Received:2007-11-13 Revised:2008-01-28 Online:2008-03-21 Published:2008-03-21
  • Contact: WANG Qing-ping

参数IIP系统的三I算法与α-三I算法

王庆平,郑红霞,张兴芳   

  1. 聊城大学 数学科学学院,山东 聊城 252059
  • 通讯作者: 王庆平

Abstract: In the paper,we prove IIP system is logic system to handle the family of continuous t-norms Tp-II and their family of residua implication operators Rp-II,the equivalency of syetem IIP and II is proved.Triple I Method and α-Triple I Method under the family of implication operators Rp-II are discussed,this can raise the credibility of reasoning result.

Key words: IIP system, family of implication operators Rp-II, triple I method, α-triple I method

摘要: 证明了系统IIP是基于连续三角模族Tp-II及其伴随蕴涵算子族Rp-II的逻辑系统,并证明了系统IIP与系统II是等价的。在此基础上给出了基于蕴涵算子族Rp-II的三I算法与α-三I算法,这将有助于提高模糊推理的可靠性。

关键词: 系统IIP, 蕴涵算子族Rp-II, 三I算法, α-三I算法