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

计算机科学与探索 ›› 2008, Vol. 2 ›› Issue (2): 206-211.

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

王庆平+,张兴芳

聊城大学数学科学学院，山东聊城 252059

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2008-04-20 发布日期:2008-04-20
通讯作者: 王庆平

Triple I method and α-triple I method with parametric LP system

WANG Qingping+, ZHANG Xingfang

College of Mathematics Science， Liaocheng University， Liaocheng， Shandong 252059， China

Received:1900-01-01 Revised:1900-01-01 Online:2008-04-20 Published:2008-04-20
Contact: WANG Qingping

摘要/Abstract

摘要： 给出了连续三角模族T_p_-L及其伴随蕴涵算子族R_p_-L的定义，并且给出了逻辑系统LP的定义；证明了逻辑系统LP与逻辑系统L的等价性，在此基础上给出了基于蕴涵算子族R_p_-L的三I算法与α-三I算法。

关键词: 系统LP, 蕴涵算子族R_p_-L, 三I算法, α-三I算法

Abstract: The definitions of the family of continuous t-norms T_p_-L， their family of residua implication operators R_p_-L and logic system LP are given. The equivalent of logic system LP and logic system L is proved. Triple I Method and α-Triple I Method under the family of implication operators R_p_-L are discussed.

Key words: LP System, family of implication operators R_p_-L, Triple I Method, α-Triple I Method

王庆平+,张兴芳. 参数LP系统的三I算法与α-三I算法[J]. 计算机科学与探索, 2008, 2(2): 206-211.

WANG Qingping+, ZHANG Xingfang. Triple I method and α-triple I method with parametric LP system[J]. Journal of Frontiers of Computer Science and Technology, 2008, 2(2): 206-211.