反优势函数实现属性约简的粒计算分析与证明

摘要

把基于逻辑公式的粒计算方法用于优势关系下反优势函数的理论分析。首先证明反优势函数对应的粒等于所有反优势关系的并,然后对反优势函数以及等价转换成的最简合取范式两者所产生粒之间的运算进行讨论。特别通过对合取范式中合取项所生成粒的研究,证明了与反优势函数等价的最简合取范式中所有的合取项就是信息系统属性集的全部约简,从而以粒计算为工具完成优势关系下对反优势函数实现信息系统属性约简的理论证明。