广义MP问题的三Ⅰ真度解

• 作者: 于鹏 刘凤雏 王三五
• 来源期刊: 计算机工程与应用
• 学科: 数学
• 关键词: 公式真度 二值逻辑 广义MP问题 三Ⅰ算法 α-三Ⅰ真度解
• 年，卷（期）: 2009,（12）
• 所属期刊栏目: 研究、探讨
• 页码范围: 47-49
• 页数: 3页
• 分类号: O142
• 字数: 3136字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2009.12.015

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	于鹏	陕西科技大学理学院	20	50	4.0	6.0
2	王三五	陕西科技大学理学院	3	9	2.0	3.0