国家社会科学基金(09CZX033)

作品数:4被引量:7H指数:2
导出分析报告
相关作者:郭美云周君唐晓嘉刘奋荣蒋军利更多>>
相关机构:西南大学华东师范大学清华大学更多>>
相关期刊:《世界哲学》《哲学研究》《逻辑学研究》《计算机科学》更多>>
相关主题:动态认知逻辑动态化辩护范本新心理主义更多>>
相关领域:哲学宗教自动化与计算机技术更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-4
视图:
排序:
试析约翰·范本特姆对逻辑“新心理主义”的辩护被引量:3
《哲学研究》2013年第8期72-77,共6页郭美云 周君 
国家社科基金重点项目(编号12AZD073);国家社科基金青年项目(编号09CZX033);重庆市人文社科基地重点项目(编号11SKB16)等的资助
约翰·范本特姆(J.vanBenthem,1949一)是当代世界最著名的逻辑学家之一,曾获得荷兰斯宾诺莎奖。他是欧洲科学院和荷兰皇家艺术与科学院院士,他所创立的荷兰阿姆斯特丹大学逻辑、语言和计算研究所已经成为当今世界上影响力最大的...
关键词:新心理主义 逻辑学家 范本 辩护 约翰 动态认知逻辑 当代世界 逻辑研究 
一个带有事务管理的动态偏好逻辑(英文)
《逻辑学研究》2011年第1期87-100,共14页郭美云 熊作军 
supported by the Foundation for Humanities and Social Sciences by the Ministry of Education of China(08JC72040002);the National Social Science Foundation of China(09CZX033);the Fundamental Research Funds of Southwest University(SWU0909512)
问题对偏好的变化会有影响。本文在偏好逻辑的背景下考虑事务管理并提出了一个新的带有事务管理的动态偏好逻辑。我们的逻辑表明它能把其他情况均同的偏好(ceteris paribus preference)与普通的偏好联系起来并将其动态化和显性化。并且...
关键词:逻辑系统 事务管理 动态化 偏好 显性化 完全性 
从方法论的角度看动态认知逻辑的研究被引量:2
《世界哲学》2010年第3期35-43,共9页刘奋荣 
教育部人文社科基金青年项目<动态认知逻辑的基本理论及应用研究>(项目编号:08JC72040002);国家社科基金青年项目<面向知识更新和信念修正的动态逻辑研究>(项目编号:09CZX033)的资助
本文主要探讨动态认知逻辑技术结果背后的思想,着重强调其在方法论方面的一般想法。文章在公开宣告逻辑的基础上展开讨论,重点考察了归约公理的意义,揭示了其本质是在基本语言中提前解析动态信息对认知产生的影响。文章以公共知识为例,...
关键词:动态认知逻辑 动态偏好逻辑 公开宣告逻辑 归约公理 动态化 
对博弈解概念认知和理性条件的逻辑分析被引量:2
《计算机科学》2010年第5期223-227,共5页蒋军利 唐晓嘉 
国家社科基金青年项目(项目编号:09CZX033)资助
在博弈求解中参与者被假定为理性的,即总是追求其最大期望效用。但这一理性假设在博弈论中没有一个很清晰的形式定义,通常是把主体间对理性的相互认识假设为公共知识(common knowledge),然而这样的做法具体到某个博弈,尤其是有限博弈,...
关键词:理性 算法 共知识 公开宣告 
检索报告 对象比较 聚类工具 使用帮助 返回顶部