决策蕴涵与可变决策蕴涵上的推理规则研究

Research of Inference Rules on Decision Implication and Variable Decision Implication

形式概念分析是一种基于概念格的数据分析方法,决策蕴涵和可变决策蕴涵是形式概念分析的两种决策知识表示类型。决策蕴涵和可变决策蕴涵上已有完备的推理规则集。为了进一步厘清可变决策蕴涵和决策蕴涵在推理规则上的区别,首先对可变决策蕴涵进行不确定性剥离并提出了受限可变决策蕴涵,然后基于可变决策蕴涵的相关研究给出了受限可变决策蕴涵的语义特征和语构特征;在此基础上,得出了受限决策蕴涵的完备推理规则集,并且从语构角度比较了受限可变决策蕴涵和决策蕴涵;基于此,从语义角度得出了这两种决策类型在知识推理能力和知识表示形式上的差异,并从语义和语构角度总结了受限可变决策蕴涵相对于决策蕴涵所具有的特征。该研究为决策蕴涵、可变决策蕴涵和模糊决策蕴涵等不同决策类型的比较性研究提供了新的思路,为决策蕴涵更为高效、简洁的推理规则提供新的视角。

Formal concept analysis is a data analysis method based on concept lattice,while decision implication and variable decision implication are two decision knowledge representations of formal concept analysis.Both decision implication and variable decision implication have complete inference rules for knowledge reasoning.In order to further clarify the differences between variable decision implication and decision implication,this paper first eliminates uncertainty from variable decision implication and introduces restricted variable decision impli cation.Then,based on the related research on variable decision implication,this paper presents semantic and syntactic characteristics of restricted variable decision implication.On this basis,a complete set of inference rules is obtained for restricted variable decision implication,and decision implication and restricted variable decision implication are compared from the syntactic perspective.Besides,this paper further discusses the differences between the two decision types in knowledge representation and reasoning from the semantic perspective,and summarizes the characteristics of restricted variable decision implication relative to decision implication from the semantic and syntactic perspectives.These conclusions provide new ideas for comparative research of different decision types such as decision implication,variable decision implication,and fuzzy decision implication,as well as a new perspective for introducing more efficient and concise inference rules.