基于拓扑语义学的公开宣告逻辑研究

发布时间：2021-10-27 13:15

　　信息是可以交流的,因此知识和信念从来就不是静态的。动态认知逻辑（Dynamic Epistemic Logic,简称DEL）是诸多具有动态算子的认知逻辑扩张的总称,它使我们能够将信息变化的推理形式化。信息交流和主体间的互动是近年来对动态认知逻辑进行研究的主题,尤其是在约翰·范·本特姆（Johan van Benthem）教授所倡导的逻辑动态转向之后,越来越多的逻辑学家都被吸引到了认知逻辑的研究领域。众所周知,公开宣告逻辑（Public Announcement Logic,简称PAL）是在静态认知逻辑（Epistemic Logic,简称EL）的基础上通过增加宣告算子[]以此来刻画在公开交流中因宣告行为而引起的知识变化以及关于知识的推理问题。从模型角度来看,宣告行为产生前后主体的知识变化体现在了认知模型的更新上。PAL是一个力求表达知识变化的正规模态逻辑,它通过外部主体做出真实且公开的宣告,然后主体通过消除与该宣告内容矛盾的可能世界来更新他们的认知状态。PAL作为最简单的动态认知逻辑系统,对其进行深入细致的研究有利于对其他更为复杂动态认知逻辑的研究。我们通常基于克里普克语义学对PAL进... 

【文章来源】：西南大学重庆市 211工程院校 教育部直属院校

【文章页数】：45 页

【学位级别】：硕士

【文章目录】：
中文摘要
ABSTRACT
第1章 绪论
    1.1 国内外研究现状与文献综述
    1.2 研究思路和主要内容
第2章 基于关系语义学的公开宣告逻辑
    2.1 认知逻辑
        2.1.1 认知逻辑的语言、语义
        2.1.2 公理系统
    2.2 公开宣告逻辑
        2.2.1 语言、语义
        2.2.2 公理系统
        2.2.3 完全性证明
        2.2.4 带公共知识算子的公开宣告逻辑
第3章 拓扑语义学
    3.1 拓扑空间与拓扑模型
    3.2 拓扑互模拟
    3.3 拓扑完全性
    3.4 拓扑积
    3.5 2-拓扑空间模态逻辑
第4章 基于拓扑语义学的公开宣告逻辑
    4.1 语言、语义
    4.2 公理化系统
    4.3 带公共知识算子的公开宣告逻辑
        4.3.1 对公共知识算子的不同观点
        4.3.2 作为不动点的公共知识算子
第5章 基于拓扑语义学与基于关系语义学的公开宣告逻辑之比较
    5.1 基本关系
    5.2 拓扑更新是一种扩张
结语
致谢
参考文献
攻读硕士期间的研究成果



本文编号：3461677