国家社会科学基金(09CZX033)
- 作品数：4 被引量：7H指数：2
- 相关作者：郭美云周君唐晓嘉刘奋荣蒋军利更多>>
- 相关机构：西南大学华东师范大学清华大学更多>>
- 发文基金：国家社会科学基金教育部人文社会科学研究基金更多>>
- 相关领域：哲学宗教自动化与计算机技术更多>>
- 从方法论的角度看动态认知逻辑的研究被引量：2
- 2010年
- 本文主要探讨动态认知逻辑技术结果背后的思想,着重强调其在方法论方面的一般想法。文章在公开宣告逻辑的基础上展开讨论,重点考察了归约公理的意义,揭示了其本质是在基本语言中提前解析动态信息对认知产生的影响。文章以公共知识为例,说明了并非所有的逻辑算子都能找到归约公理,有时候我们需要丰富基本语言的表达力。而且,我们从如何给出一个逻辑的角度提出,动态认知逻辑实际上是在"动态化"认知逻辑,这种动态化的方法可以应用在其他静态的逻辑系统中。我们以动态偏好逻辑为例,说明了这一过程是如何实现的。
- 刘奋荣
- 关键词：动态认知逻辑动态化
- 试析约翰·范本特姆对逻辑“新心理主义”的辩护被引量：3
- 2013年
- 约翰·范本特姆（J．vanBenthem，1949一）是当代世界最著名的逻辑学家之一，曾获得荷兰斯宾诺莎奖。他是欧洲科学院和荷兰皇家艺术与科学院院士，他所创立的荷兰阿姆斯特丹大学逻辑、语言和计算研究所已经成为当今世界上影响力最大的逻辑研究中心之一。上世纪70年代他在模态对应理论方面的开拓性工作，使得对应理论成为模态逻辑的三大支柱之一。上世纪90年代以后他在动态认知逻辑研究领域的创造性工作，也使得该领域成为当今世界上最为活跃的逻辑研究领域之一。他除了在模态逻辑、语言逻辑和动态认知逻辑等领域颇有建树外，在逻辑哲学领域也提出了很多深刻而丰富的思想。本文对范本特姆在《逻辑与推理：事实重要吗？》、《逻辑正往何处去，它应该吗？》等论文中所阐述的“新心理主义”思想进行梳理，分析他是怎样为“新心理主义”进行成功的辩护的。
- 郭美云周君
- 关键词：新心理主义逻辑学家范本辩护动态认知逻辑逻辑研究
- 对博弈解概念认知和理性条件的逻辑分析被引量：2
- 2010年
- 在博弈求解中参与者被假定为理性的,即总是追求其最大期望效用。但这一理性假设在博弈论中没有一个很清晰的形式定义,通常是把主体间对理性的相互认识假设为公共知识(common knowledge),然而这样的做法具体到某个博弈,尤其是有限博弈,就会显得粗糙,所涉及的嵌套问题也为系统复杂度的计算造成困难。其实,在一个具体的有限博弈G中,只需要有限次的嵌套。基于此形式化地分析了某些算法所要求的具体的认知和理性条件,提出了一种满足强理性条件的博弈求解可行算法。另外,通过在公开宣告逻辑中不断地宣告各种强度的理性概念,同样可以得到相应博弈算法求解的结果。
- 蒋军利唐晓嘉
- 一个带有事务管理的动态偏好逻辑(英文)
- 2011年
- 问题对偏好的变化会有影响。本文在偏好逻辑的背景下考虑事务管理并提出了一个新的带有事务管理的动态偏好逻辑。我们的逻辑表明它能把其他情况均同的偏好(ceteris paribus preference)与普通的偏好联系起来并将其动态化和显性化。并且,通过引入混合逻辑使得我们能在同一层次谈论命题和对象之间的偏好,除提问这个行动之外,我们还在逻辑系统的动态部分考虑了解决、建议和软公开宣告等行动。在对这四种行动的不同影响进行比较后,我们证明了这个动态系统的完全性。
- 郭美云熊作军
- 关键词：逻辑系统事务管理动态化偏好显性化
