靳瑞霞，朱云峰，杜新欣

（新乡医学院三全学院，新乡 453000）

基于逻辑公式的粒类互逆运算研究

靳瑞霞，朱云峰，杜新欣

（新乡医学院三全学院，新乡 453000）

粒计算被公认为一种看待客观世界的方法论，是一种问题求解的计算思维方式和策略。基于此，以逻辑语义建立的粒类运算为基础，定义并说明抽象粒中的粒类运算是一对互逆运算，并利用信息系统中的等价关系和分明关系进行实例分析和说明，得出针对互补关系应用不同运算可以得到相同结果的结论。即对同一问题的解决，可以根据不同的条件，采用更合适的方式达到最优解决方法。

抽象粒；粒类运算；互逆关系；互补关系

0 引言

自1997年T.Y.Lin引入粒计算这个概念后，针对粒计算的研究成果层出不穷。虽然不同研究者在各自领域对粒计算进行了不同的定义和扩展，但对于粒计算的直观意义则具有共识，都认为粒计算的内涵包含两个方面：首先是粒本身的直观认识，即粒是以某种方式从整体中分离出的部分；其次是粒计算的直观认识，即把粒看作整体的部分时，粒间的关系、粒与整体的联系、粒间的组合、转换、推理，粒自身的性质等都可以认为是直观意义下的粒计算。目前，粒计算被公认为一种看待客观世界的方法论，在经历了不同的专家学者各个领域的多种思想、模型、方法和技术的研究后，粒计算成为一种问题求解的计算思维方式和策略。

从粒计算是一种思维方式的角度出发，不涉及任何特定领域的粒定义，单纯从数学角度应用形式化的语言来描述，这是基于逻辑公式的形式化粒计算研究的方向，同时也是对粒计算理论体系的有益补充和完善。……