一个带有事务管理的动态偏好逻辑

问题对偏好的变化会有影响。本文在偏好逻辑的背景下考虑事务管理并提出了一个新的带有事务管理的动态偏好逻辑。我们的逻辑表明它能把其他情况均同的偏好（ceteris paribus preference）与普通的偏好联系起来并将其动态化和显性化。并且,通过引入混合逻辑使得我们能在同一层次谈论命题和对象之间的偏好,除提问这个行动之外,我们还在逻辑系统的动态部分考虑了解决、建议和软公开宣告等行动。在对这四种行动的不同影响进行比较后,我们证明了这个动态系统的完全性。     

基于证据支持度的信念逻辑研究

一个智能主体对某一信息的相信及相信程度分别与证据和证据支持度密切相关。本文试图通过模态逻辑方法,从语义及公理化角度探究证据支持度和信念强度之间的联系。在文中,分别用KD45和KD正规模态表达强信念算子和带程度的信念算子,用带程度的模态算子表达含程度的证据,通过在模型上加约束条件的方式将证据关系和信念关系联系起来,表达出了证据支持度和信念强度之间的联系,并建立了一个可靠且完全的公理系统。这实现了证据支持度和信念强度联系的形式化研究,为处理不确定信息提供了定性和定量相结合的分析方法。     

加强课程体系建设,促进"讲坛哲学"发展——2007年教育部哲学学科教学指导委员会暨全国哲学系主任联席会综述

2007年11月10～11日,2007年教育部哲学学科教学指导委员会暨全国哲学系主任联席会在西南大学隆重举行.本次会议的主题是:哲学课程体系改革和课程体系建设.     

分布式知识的研究进展

分布式知识是经典认知逻辑群体知识中的一个重要概念。群体知识主要有普遍知识(general knowledge,universal knowledge)、公共知识(common knowledge)和分布式知识(distrib-uted knowledge,group implicit knowledge)三种知识。群体知识在认知逻辑的研究中占有很重要的地位,因为多主体之间的信息交流和互动都是建立在群体知识的基础之上的。普遍知识因为可以用群体中的个体知识定义,所以对于群体知识的研究主要集中在公共知识和分布式知识上。20世纪90年代,哈尔彭(J.Y.Halpern)、摩西(Y.Moses)、瓦迪(M.Vardi)等人对公共知识进行了深入…     

关于“现在”算子冗余性的一个注记

关于“现在”算子的技术分析始于坎普(H.Kamp)。他在研究“现在”算子的冗余性问题时,通过引入■-tense的概念,把真值联结词和时态算子作为一种情形进行处理,造成了证明的晦涩。本文利用伯吉斯(J.Burgess)证明“现在”算子的冗余性思路,重新对“现在”算子在时态命题逻辑中的冗余性定理进行证明,补充了简化公式存在性这一关键步骤的证明,并利用证明中的处理方式,来分析自然语言中的时态语句。     

从动态认知逻辑的角度看偏好——刘奋荣《动态偏好逻辑》评介

《动态偏好逻辑》一书是国家社会科学基金青年项目（项目编号：04CZX001）的优秀成果,也是刘奋荣博士在荷兰阿姆斯特丹大学逻辑、语言和计算研究所（ILLC）从事博士项目研究的主体内容。全书分为七章：第一章引论;     

范本特姆《逻辑、语言和认知》书介

“逻辑之门——约翰·范本特姆经典著作”是由荷兰阿姆斯特丹大学资助的翻译项目。该项目的成果以丛书形式由科学出版社出版,刘奋荣任丛书主编。《逻辑、语言和认知》为丛书第二卷,由刘新文和郭美云任主编。第二卷全书由17篇范本特姆（van Benthem,LEA．K．）撰写的论文组成,这些论文写作的时间从1983年开始至今,时间跨度达25年。按照研究的主题的不同,