计量化知识推理及其粗糙集语义.ppt

定理1 预粗糙逻辑与三值Lukasiewicz逻辑是等价的。 这提示我们可以自然的方式将计量逻辑思想应用于基于粗糙集的逻辑推理之中。 粗糙上真度： 粗糙下真度： 粗糙相似度 粗糙伪度量 粗糙下度量空间 粗糙度量空间 粗糙上度量空间 基于粗糙逻辑度量空间的近似推理： 若干后续研究方向： 随机化 构建基于多值代数语义的粗糙逻辑推理系统 计量化 四、多粒度空间与知识推理 多粒度空间 对等价关系进行取交 对等价关系进行取传递闭包 x属于X的多粒度下近似当且仅当包含x的每个等价类都包含于X x属于X的多粒度上近似当且仅当至少存在一个包含x的等价类与X相交为空 一种悲观的信息聚合方式 x属于X的多粒度下近似当且仅当包含x的某个等价类都包含于X 一种乐观的信息聚合方式 汇报15分钟，提问10分钟 * * * * * * 西安石油大学 Email: yanhongshe@ 计量化知识推理及其粗糙集 语义 非经典逻辑与计算专委会成立大会 汇报人：折延宏 热烈祝贺专业委员会成立！ 很荣幸能有这样一个宝贵的 机会向大家汇报工作！ 汇报提纲 四、多粒度粗糙集与知识推理 二、命题逻辑中理论逻辑性态的拓扑刻画 三、计量逻辑的粗糙集语义 一、计量逻辑 五、基于剩余格的模糊粗糙集 六、总结 一、计量逻辑 计量逻辑 一、计量逻辑 隔离墙 计量逻辑 公式的真度 将逻辑等价概念程度化 公式之间的相似度 逻辑度量空间 A B C 二、命题逻辑中理论逻辑性态的拓扑刻画 逻辑度量空间 拓扑性质： 是否稠密？ 是否闭集？ 是否有内点？ 逻辑性质： 是否相容？ 是否逻辑闭集？ 是否全发散？ 如何建立起二者的联系？ 1. 全发散 稠密 逻辑性质 拓扑性质 相容 不含内点 逻辑性质 拓扑性质 逻辑闭 拓扑闭 在二值逻辑、多值逻辑均可证明类似的结论，这对于建立逻辑概念与拓扑概念之间的联系方面具有一定的理论意义。 模态逻辑： 其精确定义是不容易给出的。不过我们至少可以这么说：模态逻辑是表示关系结构的简单语言。这里我们考虑的基本模态逻辑是在经典命题逻辑的基础之上添加模态词□（必然性算子）与◇（可能性算子）得到的。其公理集是在经典命题逻辑的基础之上添加如下公理得到的： 推理规则：MP规则与推广规则 在语义理论中，核心概念为一Kripke结构(U,R,v) 三、计量逻辑的粗糙集语义 定义：设U为一非空集合,R为U上的一等价关系, 则称(U,R)为一近似空间.对于 定义 则称 为 在近似空间(U,R)中的上、下近似集. 正域，真值为1 边界域，真值为1/2 负域, 真值为0 模态逻辑与粗糙集的关系如下: 必然性算子 可能性算子 下近似算子 上近似算子 模态逻辑 粗糙集 粗糙逻辑 粗糙相等关系 预粗糙逻辑 汇报15分钟，提问10分钟 * * * * * *