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

• 研究、探讨 • 上一篇    下一篇

广义MP问题的三I真度解

于 鹏1,刘凤雏2,王三五1   

  1. 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 Peng1,LIU Feng-chu2,WANG San-wu1   

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

摘要: 基于真度理论讨论了三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