广义MP问题的三I真度解

doi:10.3778/j.issn.1002-8331.2009.12.015

计算机工程与应用 ›› 2009, Vol. 45 ›› Issue (12): 47-49.DOI: 10.3778/j.issn.1002-8331.2009.12.015

广义MP问题的三I真度解

于鹏¹,刘凤雏²,王三五¹

1.陕西科技大学理学院，西安 710021
2.中国工商银行陕西省分行，西安 710004

收稿日期:2008-03-09 修回日期:2008-05-23 出版日期:2009-04-21 发布日期:2009-04-21
通讯作者: 于鹏

Triple I truth degree solution of generalized modus ponens problem

YU Peng¹,LIU Feng-chu²,WANG San-wu¹

1.Faculty of Science，Shaanxi University of Science and Technology，Xi’an 710021，China
2.Industrial and Commercial Bank of China Shaanxi Branch，Xi’an 710004，China

Received:2008-03-09 Revised:2008-05-23 Online:2009-04-21 Published:2009-04-21
Contact: YU Peng

摘要/Abstract

摘要： 基于真度理论讨论了三I推理机制在真度理论下的意义，求出了真度理论下的广义MP问题的三I解，证明了该解与其形式解是等价的解，并推广得到了广义MP问题的α-三I真度解。

关键词: 公式真度, 二值逻辑, 广义MP问题, 三I算法, α-三I真度解

Abstract: Based on the truth degree of proposition logic theory，the sense of Triple inference framework under the truth degree theory was disscused.The truth degree solution of generalized modus ponens was solved，and the logical equivalence of the Triple truth solution and its formal solution was proved.At the same time the α-Triple truth degree solution of generalized modus ponens was sloved.

Key words: truth degree, two-value logic system, generalized modus ponens, Triple I method, α-Triple I truth degree solution

于鹏¹,刘凤雏²,王三五¹. 广义MP问题的三I真度解[J]. 计算机工程与应用, 2009, 45(12): 47-49.

YU Peng¹,LIU Feng-chu²,WANG San-wu¹. Triple I truth degree solution of generalized modus ponens problem[J]. Computer Engineering and Applications, 2009, 45(12): 47-49.

[1]	彭家寅. 基于蕴涵算子族H_(p,λ)的三I算法模糊系统[J]. 计算机工程与应用, 2013, 49(1): 53-58.
[2]	于鹏. 真度方程组及其应用[J]. 计算机工程与应用, 2012, 48(7): 57-59.
[3]	于鹏1，刘凤雏2. 多重广义MP问题的三I真度解[J]. 计算机工程与应用, 2011, 47(7): 49-51.
[4]	汤磊，屈克. 基于蕴涵算子族NM_P的反向三I支持算法[J]. 计算机工程与应用, 2011, 47(14): 42-45.
[5]	张森，张兴芳. 一类蕴涵算子下的支持度及α-三I算法[J]. 计算机工程与应用, 2011, 47(1): 43-45.
[6]	周小双. 不同蕴涵算子下三I方法的解[J]. 计算机工程与应用, 2010, 46(16): 48-51.
[7]	宋颖，张兴芳. 基于Godel蕴涵算子的一种新型反向三I算法[J]. 计算机工程与应用, 2009, 45(25): 45-47.
[8]	王庆平,郑红霞,张兴芳. 参数IIP系统的三I算法与α-三I算法[J]. 计算机工程与应用, 2008, 44(9): 61-63.
[9]	胡明娣^1,3,王国俊^1,2. 基于L^和Luk*逻辑系统的反向三I算法的统一形式[J]. 计算机工程与应用, 2008, 44(8): 59-62.
[10]	马巧云^1,2,吴洪博². 逻辑系统H_t中三-I算法的另一种证明[J]. 计算机工程与应用, 2008, 44(7): 91-93.
[11]	张凤霞¹，吕建新²，张兴芳¹，宋颖¹. 基于含参量蕴涵算子的三I算法[J]. 计算机工程与应用, 2007, 43(24): 85-87.

广义MP问题的三I真度解

Triple I truth degree solution of generalized modus ponens problem

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 11

编辑推荐

Metrics