导读:本文包含了概率动态认知逻辑论文开题报告文献综述及选题提纲参考文献，主要关键词:一般框架,概率,动态认知逻辑
概率动态认知逻辑论文文献综述
张志金[1]（2019）在《基于一般框架的概率动态认知逻辑初探》一文中研究指出认知逻辑用来处理关于知识的推理。为了处理不确定知识,Fagin和Halpern引入概率语言,发展为一种概率认知逻辑。基于克里普克模型,引入概率空间,给出概率语言的语义解释。概率认知逻辑在处理不确定性知识推理方面具有很大的优势,但这是一种静态的语言。为了刻画不确定知识的变化,Kooi.基于概率认知逻辑,引入动态更新语言,发展为一种概率动态认知逻辑。基于克里普克模型,在离散概率空间的情形下给出概率算子和更新算子的语义解释。本文的主要工作是把他们的克里普克模型推广到一般框架上去。基于一般框架的代数性质,引入概率函数,生成概率空间,很自然地给出概率语言的语义解释。利用一般框架对赋值的限制性这一条件,引入其他一些有效式,对原有的公理系统进行一个扩张。借助于模态逻辑的代数语义和一般框架的内在联系,证明扩张后的公理系统关于一般框架是完全的。(本文来源于《西南大学》期刊2019-04-01）
张学立,董英东[2]（2012）在《我国概率动态认知逻辑研究简况》一文中研究指出将认知逻辑、动态逻辑、时间逻辑与概率逻辑相组合来对概率进行研究,是目前国际上比较前沿的研究领域。利用组合模态逻辑的方法构造概率动态认知逻辑,可以用来处理信息、高阶信息和信息变化,同时也可用来分析一些哲学问题,如认知悖论等。(本文来源于《燕山大学学报(哲学社会科学版)》期刊2012年03期）
张学立,董英东[3]（2012）在《我国概率动态认知逻辑研究简况》一文中研究指出将认知逻辑和动态、时间逻辑等和概率逻辑相组合来对概率进行研究是目前国际上比较前沿的研究领域。利用组合模态逻辑的方法构造概率动态认知逻辑可以用来处理信息、高阶信息和理信息变化,同时也可用来分析一些哲学问题,如认知悖论等。(本文来源于《第一次南开逻辑学专业学人学术研讨会论文集》期刊2012-06-22）
程莉[4]（2009）在《概率动态认知逻辑初探》一文中研究指出认知逻辑是一种关于知识和信念包括高阶信息推理的模态逻辑,概率认知逻辑PEL只能刻画信息变化,但是,这种信息不包括高阶信息,概率动态认知逻辑是将概率逻辑和动态认知逻辑相结合的逻辑。本文的主要目的就是尝试处理有关变化的概率、信息、以及高阶信息的逻辑推理,并证明其可靠性和完全性。第一部分:首先介绍认知逻辑,认知逻辑善于处理多主体的信息,即高阶信息,但是它不能处理关于信息变化的推理。动态认知逻辑DEL是认知逻辑的扩充,能处理关于信息和信息变化的推理,同时指出它的不足——不能描述新接收信息的变化对主体信念度的影响。接着介绍概率认知逻辑理论——PEL,它虽然能反映主体信念变化的过程,但并不能处理高阶信息,因此将二者结合起来,形成一个新的逻辑:概率动态认知逻辑PDEL,即可处理有关变化的概率、信息及高阶信息的逻辑推理。第二部分:给出概率认知模型。在此基础上,将概率认知逻辑语言解释到该模型上,并介绍概率认知逻辑的动态转向。第叁部分:介绍概率动态认知逻辑的语言、语义,给出在特殊情况下构造PDEL模型的方法,并对其可靠性和完全性给予证明。最后给出PDEL的应用:斗牛士游戏。第四部分:对PDEL做出评价,指出不足之处,并指明在未来需要进一步研究的问题。(本文来源于《西南大学》期刊2009-05-01）
概率动态认知逻辑论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
将认知逻辑、动态逻辑、时间逻辑与概率逻辑相组合来对概率进行研究,是目前国际上比较前沿的研究领域。利用组合模态逻辑的方法构造概率动态认知逻辑,可以用来处理信息、高阶信息和信息变化,同时也可用来分析一些哲学问题,如认知悖论等。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
概率动态认知逻辑论文参考文献
[1].张志金.基于一般框架的概率动态认知逻辑初探[D].西南大学.2019
[2].张学立,董英东.我国概率动态认知逻辑研究简况[J].燕山大学学报(哲学社会科学版).2012
[3].张学立,董英东.我国概率动态认知逻辑研究简况[C].第一次南开逻辑学专业学人学术研讨会论文集.2012
[4].程莉.概率动态认知逻辑初探[D].西南大学.2009