| 多重广义MP问题的三I真度解 |
| |
| 引用本文： | 于鹏,刘凤雏. 多重广义MP问题的三I真度解[J]. 计算机工程与应用, 2011, 47(7): 49-51. DOI: 10.3778/j.issn.1002-8331.2011.07.015 |
| |
| 作者姓名： | 于鹏 刘凤雏 |
| |
| 作者单位： | 1.陕西科技大学 理学院，西安 710021 2.中国工商银行 陕西省分行，西安 710004 |
| |
| 基金项目： | 陕西科技大学自然科学基金项目 |
| |
| 摘 要： | 在二值逻辑系统中基于真度理论讨论了三I推理机制的意义，求出了真度理论下的多重广义MP问题的三I解，证明了该解与其形式解是等价的解，并推广得到了多重广义MP问题的α-三I真度解。
|
| 关 键 词： | 公式真度 二值逻辑 多重广义MP问题 三I算法 α-三I真度解 |
| 修稿时间： | |
Triple I truth degree solution of multiple generalized modus ponens problem |
| |
| YU Peng,LIU Fengchu. Triple I truth degree solution of multiple generalized modus ponens problem[J]. Computer Engineering and Applications, 2011, 47(7): 49-51. DOI: 10.3778/j.issn.1002-8331.2011.07.015 |
| |
| Authors: | YU Peng LIU Fengchu |
| |
| Affiliation: | 1.Faculty of Science，Shaanxi University of Science & Technology，Xi’an 710021，China 2.Shaanxi Branch，Industrial and Commercial Bank of China，Xi’an 710004，China |
| |
| Abstract: | Based on the truth degree of proposition logic theory in classical logic system，the sense of Triple inference framework under the truth degree theory is discussed.The truth degree solution of multiple generalized modus ponens is solved，and the logical equivalence of the Triple truth solution and its formal solution is proved.And the same time the α-Triple truth degree solution of multiple generalized modus ponens is sloved. |
| |
| Keywords: | truth degree two-value logic system multiple generalized modus ponens Triple I method α-]riple I truth degree solution |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载免费的PDF全文 |
