Journal of Frontiers of Computer Science and Technology ›› 2008, Vol. 2 ›› Issue (2): 206-211.

• 学术研究 • Previous Articles     Next Articles

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

WANG Qingping+, ZHANG Xingfang   

  1. 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

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

王庆平+,张兴芳   

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

Abstract: The definitions of the family of continuous t-norms Tp-L, their family of residua implication operators Rp-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 Rp-L are discussed.

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

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

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