概率动态认知逻初探.pdfVIP

两南人学硕+学位论文 摘要 III| II II曼蔓 概率动态认知逻辑初探 逻辑学专业硕士研究生程莉 指导教师 彭自强教授 摘 要 认知逻辑是一种关于知识和信念包括高阶信息推理的模态逻辑，概率认知逻 辑PEL只能刻画信息变化，但是，这种信息不包括高阶信息，概率动态认知逻辑 是将概率逻辑和动态认知逻辑相结合的逻辑。本文的主要目的就是尝试处理有关 变化的概率、信息、以及高阶信息的逻辑推理，并证明其可靠性和完全性。 第一部分：首先介绍认知逻辑，认知逻辑善于处理多主体的信息，即高阶信 息，但是它不能处理关于信息变化的推理。动态认知逻辑DEL是认知逻辑的扩充， 能处理关于信息和信息变化的推理，同时指出它的不足——不能描述新接收信息 的变化对主体信念度的影响。接着介绍概率认知逻辑理论一EL，它虽然能反映 主体信念变化的过程，但并不能处理高阶信息，因此将二者结合起来，形成一个新 的逻辑：概率动态认知逻辑PDEL，即可处理有关变化的概率、信息及高阶信息的 逻辑推理。 第二部分：给出概率认知模型。在此基础上，将概率认知逻辑语言解释到该 模型上，并介绍概率认知逻辑的动态转向。 第三部分：介绍概率动态认知逻辑的语言、语义，给出在特殊情况下构造PDEL 模型的方法，并对其可靠性和完全性给予证明。最后给出PDEL的应用：斗牛士 游戏。 第四部分：对PDEL做出评价，指出不足之处，并指明在未来需要进一步研 究的问题。 关键词：动态认知逻辑高阶信息公开宣告 贝叶斯更新 概率动态认知逻辑 两南入学硕十’≯何论文 Abstract A on ofProbabilistic PreliminaryStudy Logic DynamicEpistemic Maj Author：Li or：Logic Cheng Supervisor：ProfessorPeng ZiQiang Abstract isamodal usedtoreasonabout order Epistemiclogic logic information，includinghigher information．ProbabilisticcallbeusedtoMasonaboutinformationand epistemic logic information orderinformationisoverlooked．Inthis I combine change，buthigher paper with anew logic dynamicepistemic probabilistic logicyielding logic,probabilistidynamic deals