Journal of Frontiers of Computer Science and Technology ›› 2020, Vol. 14 ›› Issue (2): 344-352.DOI: 10.3778/j.issn.1673-9418.1903055

Previous Articles     Next Articles

Study of Inference Rules and Deduction Process on Decision Implications

JIA Nan, ZHANG Shaoxia, ZHAI Yanhui, LI Deyu   

  1. 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

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

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

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

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

摘要:

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

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