-
题名多重广义MP问题的三I真度解
被引量:1
- 1
-
-
作者
于鹏
刘凤雏
-
机构
陕西科技大学理学院
中国工商银行陕西省分行
-
出处
《计算机工程与应用》
CSCD
北大核心
2011年第7期49-51,109,共4页
-
基金
陕西科技大学自然科学基金项目(No.ZX07-37
No.ZX10-33)
-
文摘
在二值逻辑系统中基于真度理论讨论了三I推理机制的意义,求出了真度理论下的多重广义MP问题的三I解,证明了该解与其形式解是等价的解,并推广得到了多重广义MP问题的α-三I真度解。
-
关键词
公式真度
二值逻辑
多重广义MP问题
三I算法
-
Keywords
truth degree
two-value logic system
multiple .generalized modus ponens
Triple I method
a-Triple I truth degree solution
-
分类号
O142
[理学—数学]
-
-
题名真度方程组及其应用
被引量:2
- 2
-
-
作者
于鹏
-
机构
陕西科技大学理学院
-
出处
《计算机工程与应用》
CSCD
2012年第7期57-59,105,共4页
-
基金
陕西科技大学自选项目(No.zx10-33)
陕西省自然科学基础研究计划资助项目(No.2011JQ1015)
-
文摘
基于计量逻辑学和真度方程的思想,提出了真度方程组的概念。给出了真度方程组的同型解,探讨了真度方程组解集合的相容性。将这一理论成功地运用于多重广义MP问题的研究,求出了多重广义MP问题的三I真度解与α-三I真度解,为进一步探讨模糊推理的逻辑基础提供了一个可行的途径。
-
关键词
多重广义MP问题
三I算法
α-三I真度解
模糊推理
-
Keywords
multiple generalized modus ponens
Triple I method
αTriple I truth degree solution
fuzzy inference
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-