郭美云
- 作品数：20 被引量：21H指数：3
- 供职机构：西南大学政治与公共管理学院逻辑与智能研究中心更多>>
- 发文基金：国家社会科学基金中央高校基本科研业务费专项资金重庆市教育委员会人文社会科学研究项目更多>>
- 相关领域：哲学宗教文化科学自然科学总论自动化与计算机技术更多>>
- 关于逻辑、语言和认知的对话——访约翰·范本特姆教授
- 2010年
- 约翰·范本特姆（Johan van Benthem）教授是当今最著名的逻辑学家之一，他的学术研究涉及模态逻辑、语言逻辑以及逻辑哲学等领域。从1970年代到现在，他撰写了6部专著和约300篇学术论文，主编了4部具有权威性的逻辑手册，其影响从学术界对他的著作的引用程度可见一斑。由荷兰阿姆斯特丹大学资助，
- 刘新文郭美云
- 关键词：逻辑学家语言逻辑范本
- 一个带有事务管理的动态偏好逻辑(英文)
- 2011年
- 问题对偏好的变化会有影响。本文在偏好逻辑的背景下考虑事务管理并提出了一个新的带有事务管理的动态偏好逻辑。我们的逻辑表明它能把其他情况均同的偏好(ceteris paribus preference)与普通的偏好联系起来并将其动态化和显性化。并且,通过引入混合逻辑使得我们能在同一层次谈论命题和对象之间的偏好,除提问这个行动之外,我们还在逻辑系统的动态部分考虑了解决、建议和软公开宣告等行动。在对这四种行动的不同影响进行比较后,我们证明了这个动态系统的完全性。
- 郭美云熊作军
- 关键词：逻辑系统事务管理动态化偏好显性化
- 分布式知识的研究进展被引量：3
- 2007年
- 郭美云
- 关键词：公共知识分布式认知逻辑多主体
- 试析约翰·范本特姆对逻辑“新心理主义”的辩护被引量：3
- 2013年
- 约翰·范本特姆（J．vanBenthem，1949一）是当代世界最著名的逻辑学家之一，曾获得荷兰斯宾诺莎奖。他是欧洲科学院和荷兰皇家艺术与科学院院士，他所创立的荷兰阿姆斯特丹大学逻辑、语言和计算研究所已经成为当今世界上影响力最大的逻辑研究中心之一。上世纪70年代他在模态对应理论方面的开拓性工作，使得对应理论成为模态逻辑的三大支柱之一。上世纪90年代以后他在动态认知逻辑研究领域的创造性工作，也使得该领域成为当今世界上最为活跃的逻辑研究领域之一。他除了在模态逻辑、语言逻辑和动态认知逻辑等领域颇有建树外，在逻辑哲学领域也提出了很多深刻而丰富的思想。本文对范本特姆在《逻辑与推理：事实重要吗？》、《逻辑正往何处去，它应该吗？》等论文中所阐述的“新心理主义”思想进行梳理，分析他是怎样为“新心理主义”进行成功的辩护的。
- 郭美云周君
- 关键词：新心理主义逻辑学家范本辩护动态认知逻辑逻辑研究
- 证实原则的认知逻辑分析被引量：3
- 2014年
- 证实原则作为证实主义的一个一般性纲领认为,一个非分析性的有意义的真语句都是可以被经验所证实(因而是可知)的。用认知逻辑表明从证实原则出发可以产生费奇悖论。费奇悖论表明,证实原则不仅和信念修正中穆尔语句不能被一致地相信相关,还与动态认知逻辑中一个公式是否总能成功更新有关。我们在对动态认知逻辑对证实原则的各种修正方案进行比较分析后认为,证实原则反映了人类学习和交流互动过程中的精致性和复杂性,这在动态逻辑的具体背景下可以进一步进行更为细致的研究。
- 郭美云
- 关键词：动态认知逻辑
- 从PAL看认知逻辑的动态转换被引量：4
- 2006年
- 本文首先介绍动态认知逻辑的发展由来和研究背景,再以动态认知逻辑的的一个基础系统———公开宣告逻辑(public announcement logic简称PAL)为例,从而介绍动态认知逻辑研究的一些基本思路和方法,重点考察动态认知逻辑是如何完成静态向动态的转换。
- 郭美云
- 关键词：动态认知逻辑
- 根岑逻辑演绎思想的主要特征和哲学影响探析
- 2016年
- 论文在梳理根岑如何从逻辑公理化思想出发发展出自然演绎和矢列演算思想的基础上,总结出根岑逻辑演绎思想的主要特征。根岑对联接词引入和消去规则各自角色的理解及其采取的树形证明方式引导他发现并证明了切割消去定理。最后指出根岑的逻辑演绎思想对证明论语义学和意义理论有重要应用和哲学影响。
- 郭美云
- 基于证据支持度的信念逻辑研究
- 2024年
- 一个智能主体对某一信息的相信及相信程度分别与证据和证据支持度密切相关。本文试图通过模态逻辑方法,从语义及公理化角度探究证据支持度和信念强度之间的联系。在文中,分别用KD45和KD正规模态表达强信念算子和带程度的信念算子,用带程度的模态算子表达含程度的证据,通过在模型上加约束条件的方式将证据关系和信念关系联系起来,表达出了证据支持度和信念强度之间的联系,并建立了一个可靠且完全的公理系统。这实现了证据支持度和信念强度联系的形式化研究,为处理不确定信息提供了定性和定量相结合的分析方法。
- 侯丽平郭美云
- 关键词：模态逻辑
- 一个带有群体知识的公开宣告逻辑系统
- 在公开宣告逻辑的基础上引入B Kooi, J van Benthem[2004]提出的相对化公共知识，并且考虑群体隐含知识，通过归约的方法建立一个带有相对化公共知识和群体隐含知识的公开宣告逻辑系统。
- 郭美云
- 从动态认知逻辑的角度看偏好——刘奋荣《动态偏好逻辑》评介
- 2011年
- 《动态偏好逻辑》一书是国家社会科学基金青年项目（项目编号：04CZX001）的优秀成果,也是刘奋荣博士在荷兰阿姆斯特丹大学逻辑、语言和计算研究所（ILLC）从事博士项目研究的主体内容。全书分为七章：第一章引论;
- 郭美云
- 关键词：动态认知逻辑偏好国家社会科学基金大学逻辑
