粗糙逻辑在近似空间一类特殊公式下的语义研究及应用

摘要

该文以Pawlak粗糙逻辑为基础,在近似空间M=(U,R)中展开讨论.首先对划分U/R={[b1],[b2],…,[bn]}中每一个等价类[bi](i=1,2,…,n)进行排序,然后再结合等价关系R,定义出U上的偏序关系P.根据该偏序关系P构造一类特殊的逻辑公式,从而形成特殊的粗糙逻辑语言.最后进一步研究了某些公式的粗糙逻辑值以及这些公式在实际中的应用.