期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
广义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
职称材料
题名
广义MP问题的α-三Ⅰ解的形式化理论
被引量:
2
1
作者
马丽娜
王国俊
机构
陕西师范大学数学与信息科学学院
出处
《陕西师范大学学报(自然科学版)》
CAS
CSCD
北大核心
2011年第2期13-16,22,共5页
基金
国家自然科学基金重点资助项目(10771129)
国家自然科学基金青年资助项目(61005046)
陕西省自然科学基础研究计划项目(2010JQ8020)
文摘
研究了二值命题逻辑中模糊推理的全蕴涵α-三Ⅰ算法的形式化问题.提出了(F(S),)中的极小α公式的概念,当α∈{k/2n|k=0,1,…,2n,n=1,2,…}时得到如下结果:(1)全体极小α(α{0,1})公式构成(F(S),)中的反链;(2)当α=1时,全体极小α公式之集是相容的;当α≠1时,全体极小α公式之集是不相容的.证明了广义MP问题的形式化α-三Ⅰ解的存在性定理.
关键词
广义MP问题
α-三Ⅰ算法
极小α公式
形式化α-三Ⅰ解
Keywords
generalized
modus
ponens
(
gmp
)
α-triple
Ⅰ
method
minimal
α
formula
formalized
α-triple
Ⅰ
solution
分类号
O141.1 [理学—数学]
下载PDF
职称材料
题名
基于支持度理论的广义MP问题的形式化解
被引量:
7
2
作者
李骏
王国俊
机构
兰州理工大学理学院
陕西师范大学数学研究所
出处
《电子学报》
EI
CAS
CSCD
北大核心
2008年第11期2190-2194,共5页
基金
国家自然科学基金(No.10771129)
陕西师范大学博士创新基金(No.2006CXB002)
兰州理工大学优秀青年基金(No.2003YX0971)
文摘
在n值R0命题逻辑系统Ln*中,基于命题的真度概念提出了命题之间的支持度,并利用支持度的思想引入了广义MP问题以及集体广义MP问题的一种新型求解机制,并给出了解的存在性定理.本文的工作进一步从语构和语义两个方面为模糊推理的三I算法奠定了逻辑基础.本文的方法是一种程度化的方法,这就使得求解过程从算法上实现成为可能,并对知识的程度化推理有所启示.
关键词
广义MP问题
集体广义MP问题
真度
支持度
Keywords
generalized
modus
ponens
(
gmp
)
problem
collective
generalized
modus
ponens
(C
gmp
)
problem
truth
degree
sustentation
degree
分类号
O142 [理学—数学]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
广义MP问题的α-三Ⅰ解的形式化理论
马丽娜
王国俊
《陕西师范大学学报(自然科学版)》
CAS
CSCD
北大核心
2011
2
下载PDF
职称材料
2
基于支持度理论的广义MP问题的形式化解
李骏
王国俊
《电子学报》
EI
CAS
CSCD
北大核心
2008
7
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部