Triple I truth degree solution of generalized modus ponens problem

doi:10.3778/j.issn.1002-8331.2009.12.015

Computer Engineering and Applications ›› 2009, Vol. 45 ›› Issue (12): 47-49.DOI: 10.3778/j.issn.1002-8331.2009.12.015

• 研究、探讨 • Previous Articles Next Articles

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

广义MP问题的三I真度解

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

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

通讯作者: 于鹏

Abstract

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

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

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

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.

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

[1]	QIN Xiaoyan. Quasi-Truth Degree of First-Order Formula After Using Generalization Rule [J]. Computer Engineering and Applications, 2019, 55(6): 39-41.
[2]	LI Jun, LIU Yan. Property analysis of triple I method for Lukasiewicz intuitionistic fuzzy reasoning [J]. Computer Engineering and Applications, 2018, 54(8): 44-47.
[3]	LI Xiuqing, ZHANG Chaoquan. Randomized consistency degree in logic theory [J]. Computer Engineering and Applications, 2018, 54(3): 46-49.
[4]	WANG Yongyong, HUI Xiaojing. Average truth degree of Gödel[n]-valued propositional logic system with[Δ]operator [J]. Computer Engineering and Applications, 2018, 54(19): 68-71.
[5]	ZHU Naidiao, HUI Xiaojing, GAO Xiaoli, GAO Jiao. Theory of truth degree in Gödel [n]-valued propositional logic system [J]. Computer Engineering and Applications, 2017, 53(11): 67-72.
[6]	LI Yan. Generalization of fundamental theorem of probability logic and its applications [J]. Computer Engineering and Applications, 2017, 53(1): 54-56.
[7]	ZHANG Chaoquan, LI Xiuqing. Distribution of randomized divergence degree of theory in 3-valued propositional logical system [J]. Computer Engineering and Applications, 2017, 53(1): 69-72.
[8]	LI Xiuqing. ξ-conditional opening degree in n-valued propositional logic system [J]. Computer Engineering and Applications, 2016, 52(8): 25-28.
[9]	WEI Haixin. Consistency degree of theory in n-valued Lukasiewicz propositional logic system [J]. Computer Engineering and Applications, 2016, 52(5): 33-35.
[10]	LI Jun, LI Xiaobing. Average truth degree and deviation of theory in Lukasiewicz logical system [J]. Computer Engineering and Applications, 2016, 52(4): 42-45.
[11]	MENG Di, LI Jun. Convergence of sequence of formulas in n-valued propositional logic [J]. Computer Engineering and Applications, 2016, 52(22): 55-58.
[12]	YUAN Kaifeng. Distribution of randomized divergence degree in 2-valued propositional logic system [J]. Computer Engineering and Applications, 2016, 52(12): 49-52.
[13]	MA Qiaoyun. [ΣΓ]-fuzzy truth degree of some special formulas in logic system [L?n] [J]. Computer Engineering and Applications, 2016, 52(11): 34-37.
[14]	MA Qiaoyun1, WU Hongbo2. Boole function representation of pseudo-metric among many-valued formula [J]. Computer Engineering and Applications, 2015, 51(23): 38-41.
[15]	LI Xiuqing. Randomized truth degree and inference rules of proposition formulas [J]. Computer Engineering and Applications, 2015, 51(19): 66-70.

Triple I truth degree solution of generalized modus ponens problem

广义MP问题的三I真度解

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics