西安石油大学Email: 计量化知识推理及其粗糙集 语义非经典逻辑与计算专委会成立大会非经典逻辑与计算专委会成立大会汇报人:折延宏热烈祝贺专业委员会成立!很荣幸能有这样一个宝贵的机会向大家汇报工作!汇报提纲四、多粒度粗糙集与知识推理四、多粒度粗糙集与知识推理二、命题逻辑中理论逻辑性态的拓扑刻画二、命题逻辑中理论逻辑性态的拓扑刻画三三、计量逻辑的粗糙集语义、计量逻辑的粗糙集语义一、计量逻辑一、计量逻辑五、基于剩余格的模糊粗糙集五、基于剩余格的模糊粗糙集六、总结六、总结一、计量逻辑计量逻辑一、计量逻辑隔离墙计量逻辑公式的真度将逻辑等价概念程度化公式之间的相似度逻辑度量空间ABC二、命题逻辑中理论逻辑性态的拓扑刻画逻辑度量空间拓扑性质:是否稠密?是否闭集?是否有内点?逻辑性质:是否相容?是否逻辑闭集?是否全发散?如何建立起二者的联系?1.全发散 稠密逻辑性质拓扑性质相容不含内点 逻辑性质 拓扑性质逻辑闭拓扑闭在二值逻辑、多 值逻辑均可证明类似的结论, 这对于建立逻辑概念与拓扑概念之间的联系方面具有一定的理论意义。 模态逻辑模态逻辑: 其精确定义是不容易给出的。不过其精确定义是不容易给出的。不