知识库的相对约简与拓扑约简

Relative reductions and topological reductions of knowledge bases

在基于二元关系的知识库中引入了相对约简与拓扑约简的概念,研究了它们的性质,证明了拓扑约简是特殊的相对约简.利用偏序集的极小元给出了有限知识库相对约简的存在性及其求法.引入了有限知识库的RM-区分矩阵和相应的RM-区分函数,由此获得了相对约简的另一求法.以具体例子对相对约简的求法进行了说明.

In this paper,concepts of relative reductions and topological reductions of knowledge bases based on binary relations is introduced.Properties of them are studied.It is proved that topological reductions are special relative reductions.For finite knowledge bases,using the minimal elements of relevant posets,the existence of relative reduction and all the relative reductions is obtained.RMdiscernibility matrix and corresponding RM-discernibility functions are introduced,and thus another method to find relative reductions is given.A concrete example is presented to illustrate the methods to get relative reductions.