-
题名决策蕴涵上的推理规则和推理过程研究
认领
- 1
-
-
作者
贾楠
张少霞
翟岩慧
李德玉
-
机构
山西大学计算机与信息技术学院
山西大学计算智能与中文信息处理教育部重点实验室
-
出处
《计算机科学与探索》
CSCD
北大核心
2020年第2期344-352,共9页
-
基金
国家自然科学基金Nos.61972238,61806116
山西省自然科学基金Nos.201801D221175,201601D021076
+1 种基金
山西省高等学校科技创新项目No.201802014
山西省研究生教育创新计划No.2019SY006。
-
文摘
形式概念分析是用于概念分析和可视化的偏序集理论。决策蕴涵是形式概念分析在决策情形下的知识表示。已有研究从逻辑角度分析了决策蕴涵,并给出了完整的语义描述和语构描述,其中在语构方面已经有一个完备的推理规则集,即扩增推理规则和合并推理规则。在此基础上,提出了新的推理规则——后件合并推理规则,证明了其合理性,以及与扩增推理规则组成的推理规则集的完备性和无冗余性;通过研究扩增推理规则和后件合并推理规则的性质,给出了使用这两条推理规则从完备集推导其对应封闭集的有效方法等理论结果,为进一步的算法研究与应用以及更深入的理论研究工作奠定基础。
-
关键词
形式概念分析
决策蕴涵
推理规则
-
Keywords
formal concept analysis
decision implication
inference rule
-
分类号
TP18
[自动化与计算机技术—控制科学与工程][自动化与计算机技术—控制理论与控制工程]
-
-
题名基于决策背景的决策蕴涵规范基
认领
- 2
-
-
作者
贺建英
-
机构
四川文理学院计算机学院
-
出处
《计算机科学》
CSCD
北大核心
2017年第8期290-295,共6页
-
基金
四川省教育厅项目：基于Hadoop云平台的电子政务应用研究-以达州市政府机构编制实名制管理系统为例（15ZB0324）
四川文理学院智能计算与物联网工程技术中心资助项目资助
-
文摘
主要给出决策背景下的决策蕴涵基,通过不确定的分组阈值对决策背景进行分组,找到每个分块的决策背景下的决策蕴涵规范基,并证明了每个分块上的决策蕴涵集是完备、无冗余和最优的;也证明了每个决策背景分块上的决策蕴涵基的集合在整个决策背景上也是完备、无冗余和最优的。在生成决策背景的决策蕴涵规范基的过程中,优化了最小生成子算法;同时也给出了基于决策背景的决策蕴涵规范基的生成算法。实验表明,通过分组策略和算法的优化改进,可以很好地抑制冗余决策蕴涵规范基的生成,使决策蕴涵规范基更为有效和紧凑。
-
关键词
阈值
决策背景
决策蕴涵
规范基
-
Keywords
Threshold
Decision making background
Decision implication
Canonical basis
-
分类号
TP182
[自动化与计算机技术—控制科学与工程][自动化与计算机技术—控制理论与控制工程]
-
-
题名决策蕴涵规范基
认领
被引量：9
- 3
-
-
作者
翟岩慧
李德玉
曲开社
-
机构
山西大学计算机与信息技术学院
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2015年第1期18-23,共6页
-
基金
国家自然科学基金（No.61303107,No.61272095,No.61175067,No.41101440,No.61202018）
山西省回国留学人员科研项目（No.2013-014）
山西省自然科学基金（No.2013011066-4）
-
文摘
主要给出一个决策蕴涵下的决策蕴涵规范基.首先给出决策前提的概念,然后生成以决策前提为前提,决策前提相对于决策子背景的闭包为结论的决策蕴涵集——决策蕴涵规范基.证明了该决策决策蕴涵集是完备的,无冗余的,并且是最优的,即在所有完备的决策蕴涵集中,决策蕴涵规范基所含的决策蕴涵数最少.最后给出了该决策蕴涵基的生成算法.实验表明,决策蕴涵规范基可以很好地抑制冗余决策蕴涵的生成,比已有的决策蕴涵集也更为紧凑和有效.
-
关键词
决策蕴涵
规范基
概念格
最小生成子
-
Keywords
decision implication
canonical basis
concept lattice
minimal generator
-
分类号
TP18
[自动化与计算机技术—控制科学与工程][自动化与计算机技术—控制理论与控制工程]
-
-
题名逻辑型决策蕴涵
认领
- 4
-
-
作者
张少霞
李德玉
翟岩慧
-
机构
山西大学计算机与信息技术学院
山西大学计算智能与中文信息处理教育部重点实验室
-
出处
《郑州大学学报:理学版》
CAS
北大核心
2020年第1期1-7,共7页
-
基金
国家自然科学基金项目(61672331,61573231,61972238,61806116)
山西省重点研发计划项目(201803D421024,201903D421041)
+2 种基金
山西省自然科学基金项目(201801D221175)
山西省高等学校科技创新项目(201802014,2019SK036)
山西省研究生创新项目(2018BY006,2019SY006)。
-
文摘
基于逻辑公式定义了逻辑型决策蕴涵。设计了逻辑型决策蕴涵的语义框架,包括定义了逻辑型决策蕴涵的模型,以及逻辑型决策蕴涵集的完备性和无冗余性。在进行知识推理时,该框架可以过滤掉矛盾的结论。语构方面提出了闭包缩小推理规则,并证明了该推理规则相对于语义的合理性和完备性。
-
关键词
形式概念分析
逻辑型决策蕴涵
逻辑公式
-
Keywords
formal concept analysis
logic-type decision implication
logic formula
-
分类号
TP18
[自动化与计算机技术—控制科学与工程][自动化与计算机技术—控制理论与控制工程]
-
![使用中文期刊助手扫码登录]()
使用中文期刊助手 扫描二维码
渝公网安备 50019002500403号违法和不良信息举报中心