计算机科学与探索

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

单位：1. 山西大学 计算机与信息技术学院，太原 0300062. 山西大学 计算智能与中文信息处理教育部重点实验室，太原 030006

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

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

来源：2020年第2期

《计算机科学与探索》期刊编辑部

查看计算机科学与探索杂志2020年第2期