信息系统中逻辑公式的粗糙真研究及应用

采用逻辑的方法在完备信息系统中展开讨论,通过对公式及公式语义的定义,引出了公式的语义在信息系统上均匀分布的概念。为了对此进行研究,利用Pawlak上近似定义了逻辑公式的粗糙真,其目的就是通过公式的粗糙真对公式语义的均匀分布进行分析。进而,得到了关于粗糙真的相应结论以及如何利用这些结论判定析取特征公式粗糙真的算法。在此基础上,通过信息系统的实例讨论了粗糙真在判定析取特征公式语义均匀分布的具体应用。

Studies on Rough Truth of Logical Formulas in Information System and Its Applications

In complete information system,by developing logical method and defining formulas and their semantics,the concept of even distribution for semantics of a formula is defined.In order to study this problem,through Pawlak upper approximation,the definition of rough truth for a formula is given ,and the purpose is to study even distribution for semantics of a formula by making use of rough truth of the formula.Thus,some conclusions for rough truth are obtained and a algorithm,which is used to determine whether a characteristic formula of disjunction is rough truth by adopting these conclusions,is constructed.On the basis of these,Through a example of a complete information system applications are discussed,and the applications are about the role of rough truth in determining even distribution of a characteristic formula of disjunction.