时态公开宣告逻辑初探
发布时间:2021-09-06 23:50
在描述多主体间相互作用的过程中,公开宣告逻辑关注于在公开宣告发生后主体的认知状态如何改变;认知时态逻辑关注于在主体的相互作用中能够发生哪些信息事件。本文旨在讨论一个能刻画这两个方面的时态公开宣告逻辑系统TPAL,TPAL是结合公开宣告逻辑和认知时态逻辑而形成的逻辑系统。第一部分:首先讨论了公开宣告逻辑系统PAL,该系统是动态认知逻辑系统DEL的一种特殊情况,它能够刻画在公开宣告这种行为发生之后主体知识的变化。接着,讨论了认知时态逻辑系统ETL,该系统能够描述在一些信息化的过程中知识在时间进程上如何发展,能够对不同情景中的相关交流限制给出刻画。第二部分:首先在这部分讨论了如何从PAL生成ETL-模型,并给出实例予以说明。接着,讨论了PAL与ETL之间的关系,PAL协议并不能生成所有的认知模型。实际上,这种ETL模型具有一些特殊的性质,并得出一个典型的定理。第三部分:结合公开宣告逻辑系统和认知时态逻辑系统,将认知模型中的认知状态指派为公开宣告序列集,以讨论时态公开宣告逻辑系统TPAL。但是,TPAL并不能归约到PAL中,因此采用Henkin方法证明该系统是完全的。TPAL与PAL之间的关系...
【文章来源】:西南大学重庆市 211工程院校 教育部直属院校
【文章页数】:32 页
【学位级别】:硕士
【部分图文】:
①2.2pAL与ETL之间的关系
本文编号:3388427
【文章来源】:西南大学重庆市 211工程院校 教育部直属院校
【文章页数】:32 页
【学位级别】:硕士
【部分图文】:
①2.2pAL与ETL之间的关系
本文编号:3388427
本文链接:https://www.wllwen.com/shekelunwen/ljx/3388427.html