教育部人文社会科学研究基金(08JC72040002)
- 作品数：4 被引量：6H指数：2
- 相关作者：崔建英郭美云刘奋荣唐晓嘉更多>>
- 相关机构：西南大学清华大学中山大学更多>>
- 发文基金：教育部人文社会科学研究基金重庆市教育委员会人文社会科学研究项目国家社会科学基金更多>>
- 相关领域：哲学宗教自然科学总论语言文字经济管理更多>>
- 博弈求解的动态认知分析
- 2009年
- 崔建英唐晓嘉
- 关键词：静态博弈逆向归纳法公共知识逻辑研究选手
- 从方法论的角度看动态认知逻辑的研究被引量：2
- 2010年
- 本文主要探讨动态认知逻辑技术结果背后的思想,着重强调其在方法论方面的一般想法。文章在公开宣告逻辑的基础上展开讨论,重点考察了归约公理的意义,揭示了其本质是在基本语言中提前解析动态信息对认知产生的影响。文章以公共知识为例,说明了并非所有的逻辑算子都能找到归约公理,有时候我们需要丰富基本语言的表达力。而且,我们从如何给出一个逻辑的角度提出,动态认知逻辑实际上是在"动态化"认知逻辑,这种动态化的方法可以应用在其他静态的逻辑系统中。我们以动态偏好逻辑为例,说明了这一过程是如何实现的。
- 刘奋荣
- 关键词：动态认知逻辑动态化
- 博弈论中重复可允许算法的认知分析被引量：1
- 2010年
- 博弈论中重复可允许(Iterated Admissibilty)算法对于快速约简博弈模型、寻找合理置信的纳什均衡具有重要意义,但该算法的认知基础存在悖论。本文构建一个完备的博弈认知逻辑系统EL_G,利用该系统语言描述博弈相关概念和性质,使得我们可以基于EL_G逻辑刻画重复可允许算法,从而达到为该算法提供合理的认知基础,解决算法背后的认知悖论的目的。
- 崔建英
- 关键词：公共知识
- 证实原则的认知逻辑分析被引量：3
- 2014年
- 证实原则作为证实主义的一个一般性纲领认为,一个非分析性的有意义的真语句都是可以被经验所证实(因而是可知)的。用认知逻辑表明从证实原则出发可以产生费奇悖论。费奇悖论表明,证实原则不仅和信念修正中穆尔语句不能被一致地相信相关,还与动态认知逻辑中一个公式是否总能成功更新有关。我们在对动态认知逻辑对证实原则的各种修正方案进行比较分析后认为,证实原则反映了人类学习和交流互动过程中的精致性和复杂性,这在动态逻辑的具体背景下可以进一步进行更为细致的研究。
- 郭美云
- 关键词：动态认知逻辑
