公开宣告逻辑相关论文
信息是可以交流的,因此知识和信念从来就不是静态的。动态认知逻辑(Dynamic Epistemic Logic,简称DEL)是诸多具有动态算子的认知逻......
在对群体知识的普遍知识、公共知识和分布式知识的基本理论进行引介和阐述的基础上,文章针对群体知识何以存在、公共知识模型的局......
本文在公开宣告逻辑的基础上引入B Kooi, J van Benthem[2004]提出的相对化公共知识，并且考虑群体隐含知识，通过归约的方法建立一个......
信息流和主体间互动是近年来动态认知逻辑研究的主要问题。有关理性个体的行为研究,在国内与国外已经有较多发展,在个体的知识更新......
在案件侦破过程中,警方与疑犯作为博弈双方都会为自己的利益而采取相应的策略。作为对立的主体,双方对于某些公开信息的认知显然是......
人类在思考问题时,常常伴随着对各种可能情形的审视。在经典公开宣告逻辑中,排除掉不可能的情形即实现对信念的修正。为了能够在语......
信息流和主体间互动是近年来动态认知逻辑研究的主要问题。主体的知识和信念随着信息的更新而改变,比如宣告p成立之后主体知道p。......
后向归纳法BI（Backward Induction）是求解动态博弈的经典算法,其认知机制的探讨多是基于静态的认知模型展开的。这样,为了给BI算法结......
在公开宣告逻辑PAL的基础上引入刻画社会网络的算子f可以弥补公开宣告逻辑仅适用于全通关系的缺陷,形成了社会网络认知逻辑SNL,它......
动态认知逻辑是近年来一个相对比较新的研究领域。它旨在为信息变化提供一套形式化的处理办法。在动态认知逻辑中，群体知识是十分重......
群体宣告逻辑在公开宣告逻辑基础上增加用于刻画群体宣告的算子,其中的"群体宣告"是指群内个体的一阶或高阶知识被同时、公开、真......
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清......
2009年10月8日——10日由西南大学逻辑与智能研究中心、计算机与信息科学学院主办的第二届＂逻辑、理性与互动＂国际研讨会（The Second ......
本文首先介绍动态认知逻辑的发展由来和研究背景。再以动态认知逻辑的的一个基础系统——公开宣告逻辑（public armouncement logic......
公开宣告逻辑被广泛用于刻画在公开交流中知识的变化的推理问题,然而,公开交流下知识的表示和推理往往是复杂而多变的,虽然PAL语义......
在描述多主体间相互作用的过程中,公开宣告逻辑关注于在公开宣告发生后主体的认知状态如何改变;认知时态逻辑关注于在主体的相互作......
公开宣告逻辑PAL产生后,认知逻辑EL的语言变得更加丰富,刻画能力也得到了很大提高。但在现实生活中,不同的主体有着不同的收发信息......
