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