时态公开宣告逻辑初探

发布时间：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