基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
基于逻辑公式定义了逻辑型决策蕴涵.设计了逻辑型决策蕴涵的语义框架,包括定义了逻辑型决策蕴涵的模型,以及逻辑型决策蕴涵集的完备性和无冗余性.在进行知识推理时,该框架可以过滤掉矛盾的结论.语构方面提出了闭包缩小推理规则,并证明了该推理规则相对于语义的合理性和完备性.
推荐文章
基于静态逻辑蕴涵的电路功耗优化
功耗优化
技术映射
冗余
蕴涵
决策蕴涵规范基
决策蕴涵
规范基
概念格
最小生成子
基于G(o)del蕴涵算子的导出算子的n值逻辑系统
Godel蕴涵算子
Godel蕴涵算子的导出算子G3
重言式
n值逻辑系统Gn
决策表的逻辑表达式分析
决策表
泛布尔代数
逻辑表达式
析取范式表达式
蕴涵式表达式
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 逻辑型决策蕴涵
来源期刊 郑州大学学报(理学版) 学科 工学
关键词 形式概念分析 逻辑型决策蕴涵 逻辑公式
年,卷(期) 2020,(1) 所属期刊栏目 信息科学
研究方向 页码范围 1-7
页数 7页 分类号 TP18
字数 7304字 语种 中文
DOI 10.13705/j.issn.1671-6841.2019177
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 李德玉 山西大学计算机与信息技术学院 83 753 12.0 24.0
5 翟岩慧 山西大学计算机与信息技术学院 17 183 7.0 13.0
9 张少霞 山西大学计算机与信息技术学院 3 2 1.0 1.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (105)
共引文献  (28)
参考文献  (9)
节点文献
引证文献  (0)
同被引文献  (0)
二级引证文献  (0)
1982(1)
  • 参考文献(0)
  • 二级参考文献(1)
1988(1)
  • 参考文献(0)
  • 二级参考文献(1)
1995(1)
  • 参考文献(0)
  • 二级参考文献(1)
1996(2)
  • 参考文献(0)
  • 二级参考文献(2)
1997(1)
  • 参考文献(0)
  • 二级参考文献(1)
1999(1)
  • 参考文献(0)
  • 二级参考文献(1)
2000(1)
  • 参考文献(0)
  • 二级参考文献(1)
2001(1)
  • 参考文献(0)
  • 二级参考文献(1)
2002(1)
  • 参考文献(0)
  • 二级参考文献(1)
2003(1)
  • 参考文献(0)
  • 二级参考文献(1)
2004(2)
  • 参考文献(0)
  • 二级参考文献(2)
2005(2)
  • 参考文献(0)
  • 二级参考文献(2)
2006(4)
  • 参考文献(0)
  • 二级参考文献(4)
2007(6)
  • 参考文献(1)
  • 二级参考文献(5)
2008(7)
  • 参考文献(0)
  • 二级参考文献(7)
2009(6)
  • 参考文献(1)
  • 二级参考文献(5)
2010(8)
  • 参考文献(0)
  • 二级参考文献(8)
2011(10)
  • 参考文献(0)
  • 二级参考文献(10)
2012(4)
  • 参考文献(0)
  • 二级参考文献(4)
2013(9)
  • 参考文献(1)
  • 二级参考文献(8)
2014(13)
  • 参考文献(1)
  • 二级参考文献(12)
2015(12)
  • 参考文献(2)
  • 二级参考文献(10)
2016(11)
  • 参考文献(0)
  • 二级参考文献(11)
2017(8)
  • 参考文献(2)
  • 二级参考文献(6)
2018(1)
  • 参考文献(1)
  • 二级参考文献(0)
2020(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
研究主题发展历程
节点文献
形式概念分析
逻辑型决策蕴涵
逻辑公式
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
郑州大学学报(理学版)
季刊
1671-6841
41-1338/N
大16开
郑州市高新技术开发区科学大道100号
36-191
1962
chi
出版文献量(篇)
2278
总下载数(次)
0
总被引数(次)
9540
论文1v1指导