决策蕴涵上的推理规则和推理过程研究

doi:10.3778/j.issn.1673-9418.1903055

计算机科学与探索 ›› 2020, Vol. 14 ›› Issue (2): 344-352.DOI: 10.3778/j.issn.1673-9418.1903055

决策蕴涵上的推理规则和推理过程研究

贾楠，张少霞，翟岩慧，李德玉

1. 山西大学计算机与信息技术学院，太原 030006

2. 山西大学计算智能与中文信息处理教育部重点实验室，太原 030006

出版日期:2020-02-01 发布日期:2020-02-16

Study of Inference Rules and Deduction Process on Decision Implications

JIA Nan, ZHANG Shaoxia, ZHAI Yanhui, LI Deyu

1. School of Computer and Information Technology, Shanxi University, Taiyuan 030006, China
2. Key Laboratory of Computational Intelligence and Chinese Information Processing of Ministry of Education, Shanxi University, Taiyuan 030006, China

Online:2020-02-01 Published:2020-02-16

摘要/Abstract

摘要：

形式概念分析是用于概念分析和可视化的偏序集理论。决策蕴涵是形式概念分析在决策情形下的知识表示。已有研究从逻辑角度分析了决策蕴涵，并给出了完整的语义描述和语构描述，其中在语构方面已经有一个完备的推理规则集，即扩增推理规则和合并推理规则。在此基础上，提出了新的推理规则——后件合并推理规则，证明了其合理性，以及与扩增推理规则组成的推理规则集的完备性和无冗余性；通过研究扩增推理规则和后件合并推理规则的性质，给出了使用这两条推理规则从完备集推导其对应封闭集的有效方法等理论结果，为进一步的算法研究与应用以及更深入的理论研究工作奠定基础。

关键词: 形式概念分析, 决策蕴涵, 推理规则

Abstract:

Formal concept analysis is a partial order theory for conceptual analysis and visualization. Decision implications are the knowledge representation for decision-making in formal concept analysis. From the logical perspective, the semantic description and syntactic description have been given, with a complete set of inference rules for the syntactic aspect: the augmentation inference rule and the combination inference rule. Based on this, a new inference rule, consequence combination, is proposed and proven to be sound in this paper; furthermore, augmentation and consequence combination are proven to be complete with respect to the semantical aspect and non-redundant with respect to each other. Finally, the properties of augmentation and consequence combination inference rules are studied, and then deduction process is studied for deriving its closed set from a complete set using the inference rules. These conclusions are research basis for the future algorithm research and application, also the base for the deeper theoretic research.

Key words: formal concept analysis, decision implication, inference rule

贾楠，张少霞，翟岩慧，李德玉. 决策蕴涵上的推理规则和推理过程研究[J]. 计算机科学与探索, 2020, 14(2): 344-352.

JIA Nan, ZHANG Shaoxia, ZHAI Yanhui, LI Deyu. Study of Inference Rules and Deduction Process on Decision Implications[J]. Journal of Frontiers of Computer Science and Technology, 2020, 14(2): 344-352.

[1]	周银凤, 李进金. 形式背景下的技能约简与评估[J]. 计算机科学与探索, 2022, 16(3): 692-702.
[2]	薛东前, 翟岩慧, 张少霞, 李德玉, 徐伟华. 决策蕴涵与可变决策蕴涵上的推理规则研究[J]. 计算机科学与探索, 2022, 16(10): 2357-2364.
[3]	王亚丽, 翟岩慧, 张少霞, 贾楠, 李德玉. 蕴涵的决策蕴涵表示研究[J]. 计算机科学与探索, 2021, 15(7): 1322-1331.
[4]	刘忠慧，邹璐，杨梅，闵帆. 启发式概念构造的组推荐方法[J]. 计算机科学与探索, 2020, 14(4): 703-711.
[5]	曾利程，张祖平，邹力耕. 增量式快速构建概念格算法[J]. 计算机科学与探索, 2018, 12(11): 1862-1870.
[6]	翟岩慧，李德玉，曲开社 . 形式概念分析的逆向研究[J]. 计算机科学与探索, 2014, 8(12): 1511-1516.
[7]	赵小香1+, 覃萍2 ,王驹2 . 属性探索算法研究[J]. 计算机科学与探索, 2009, 3(5): 509-518.

决策蕴涵上的推理规则和推理过程研究

Study of Inference Rules and Deduction Process on Decision Implications

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 7

编辑推荐

Metrics