期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
广义MP问题的α-三Ⅰ解的形式化理论 被引量:2
1
作者 马丽娜 王国俊 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2011年第2期13-16,22,共5页
研究了二值命题逻辑中模糊推理的全蕴涵α-三Ⅰ算法的形式化问题.提出了(F(S),)中的极小α公式的概念,当α∈{k/2n|k=0,1,…,2n,n=1,2,…}时得到如下结果:(1)全体极小α(α{0,1})公式构成(F(S),)中的反链;(2)当α=1时,全体极小α公式之... 研究了二值命题逻辑中模糊推理的全蕴涵α-三Ⅰ算法的形式化问题.提出了(F(S),)中的极小α公式的概念,当α∈{k/2n|k=0,1,…,2n,n=1,2,…}时得到如下结果:(1)全体极小α(α{0,1})公式构成(F(S),)中的反链;(2)当α=1时,全体极小α公式之集是相容的;当α≠1时,全体极小α公式之集是不相容的.证明了广义MP问题的形式化α-三Ⅰ解的存在性定理. 展开更多
关键词 广义MP问题 α-三Ⅰ算法 极小α公式 形式化α-三Ⅰ解
下载PDF
基于支持度理论的广义MP问题的形式化解 被引量:7
2
作者 李骏 王国俊 《电子学报》 EI CAS CSCD 北大核心 2008年第11期2190-2194,共5页
在n值R0命题逻辑系统Ln*中,基于命题的真度概念提出了命题之间的支持度,并利用支持度的思想引入了广义MP问题以及集体广义MP问题的一种新型求解机制,并给出了解的存在性定理.本文的工作进一步从语构和语义两个方面为模糊推理的三I算法... 在n值R0命题逻辑系统Ln*中,基于命题的真度概念提出了命题之间的支持度,并利用支持度的思想引入了广义MP问题以及集体广义MP问题的一种新型求解机制,并给出了解的存在性定理.本文的工作进一步从语构和语义两个方面为模糊推理的三I算法奠定了逻辑基础.本文的方法是一种程度化的方法,这就使得求解过程从算法上实现成为可能,并对知识的程度化推理有所启示. 展开更多
关键词 广义MP问题 集体广义MP问题 真度 支持度
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部