期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
分层格值命题逻辑系统中几类推理规则的讨论
被引量：
2
1
作者
洪智勇
刘熠
秦克云
《计算机工程与应用》
CSCD
北大核心
2017年第24期55-58,共4页
在基于格值逻辑的不确定性推理的研究中,推理规则的选取是其重要研究内容之一。基于分层格值命题逻辑系统,提出了几类既包含有语义又含有语法的推理规则,且这些推理规则具备协调水平的特性;同时也证明了这几类推理规则在一定程度上有闭性。
关键词
格蕴涵代数
分层格值逻辑系统
推理规则
封闭性
在线阅读
下载PDF
职称材料
题名
分层格值命题逻辑系统中几类推理规则的讨论
被引量：
2
1
作者
洪智勇
刘熠
秦克云
机构
五邑大学计算机学院
内江师范学院数据恢复四川省重点实验室
内江师范学院数学与信息科学学院
西南交通大学数学学院
出处
《计算机工程与应用》
CSCD
北大核心
2017年第24期55-58,共4页
基金
国家自然科学基金(No.61673320)
广东省自然科学基金(No.2016A030310003)
+3 种基金
四川省应用基础研究计划项目(No.2015JY0120)
四川省教育厅项目(No.15TD0027
No.15ZB0270)
五邑大学青年基金(No.2013zk17)
文摘
在基于格值逻辑的不确定性推理的研究中,推理规则的选取是其重要研究内容之一。基于分层格值命题逻辑系统,提出了几类既包含有语义又含有语法的推理规则,且这些推理规则具备协调水平的特性;同时也证明了这几类推理规则在一定程度上有闭性。
关键词
格蕴涵代数
分层格值逻辑系统
推理规则
封闭性
Keywords
lattice implication algebras
gradational lattice-valued propositional logic
inference rules
close
分类号
TP391 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
分层格值命题逻辑系统中几类推理规则的讨论
洪智勇
刘熠
秦克云
《计算机工程与应用》
CSCD
北大核心
2017
2
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
