摘要
证明了系统IIP是基于连续三角模族Tp-II及其伴随蕴涵算子族Rp-II的逻辑系统,并证明了系统IIP与系统II是等价的。在此基础上给出了基于蕴涵算子族Rp-II的三I算法与!-三I算法,这将有助于提高模糊推理的可靠性。
In the paper,we prove IIP system is logic system to handle the family of continuous t-norms Tp-Ⅱ and their family of residua implication operators Rp-Ⅱ,the equivalency of syetem liP and H is proved.Triple I Method and α-Triple I Method under the family of implication operators Rp-Ⅱ are discussed,this can raise the credibility of reasoning result.
出处
《计算机工程与应用》
CSCD
北大核心
2008年第9期61-63,106,共4页
Computer Engineering and Applications
基金
教育部科学技术研究重点项目(No.206089)
