基于后悔度的博弈剔除算法的逻辑认知分析

博弈分析中存在大量的逻辑问题,通过认知逻辑可以精确表达主体间认知互动中的推理。首先,构建了基于后悔度的博弈认知模型,从选手选择某一策略所导致的后悔度分析主体的理性特征,为多种博弈剔除算法的认知机制提供统一的逻辑刻画。其次,基于后悔度模型,重提主体理性定义,并证明该理性可作为公开宣告的事实,借助公开宣告逻辑,为Halpern等人提出的重复最大最小化后悔度算法提供合理的逻辑认知基础。

他连A都知道——认知逻辑EK1-EK3

首先,我们构造认知系统EK1-EK3,给出它们的一些证明论结果。其次,我们引入邻域语义,给出EK1-EK3的特征公理和规则的框架条件,证明EK1-EK3相对这些框架条件分别是框架可靠的。最后,我们证明EK1-EK3相对这些框架条件分别是框架完全的。

多值逻辑与认知研究新进展

由教育部人文社会科学重点研究基地中山大学逻辑与认知研究所与波兰科学院哲学与社会学研究所共同主办的“《逻辑研究》国际会议逻辑学的趋势（之五）”于2007年7月6-9日在中山大学南校区隆重召开。本次研讨会的主题是多值逻辑与认知。《逻辑研究》（Studia Logica）杂志主编Jacek Malinowski教授及我所鞠实儿教授任大会主席。

密码通信下的动态认知逻辑

动态认知逻辑能够完成多主体信息交互活动中认知状态的刻画,但是它缺乏对密码通信的支持,同时密文处理规则的描述和主体密码全能问题也是迫切需要解决的问题.CDEL(Cryptography Dynamic Epistemic Logic)是支持密码规则的一阶认知逻辑,它为开放环境下主体传送信息提供了一个良好的描述方法.文章讨论了该逻辑中的密码公理的引入和密码全知问题的处理,简要介绍了其动态扩展方法和进一步研究的方向.

第5届国际逻辑与认知学术研讨会

由教育部人文社会科学重点研究基地中山大学逻辑与认知研究所主办的第5届（国际）逻辑与认知学术研讨会于2006年5月29-30日在中山大学隆重召开。前来参加这次研讨会的国内外学者近50名，其中外国代表4人，香港和台湾代表5人，17名学者在大会上发言。

论栾调甫中国逻辑研究范式

栾调甫提出读《墨子》书必有八法,即考版本、正文字、明训诂、离章句、辨真伪、定篇什、辑遗佚、辨异同,此八法为“实证”之一端。栾调甫基于此八法以“虚会”之另一端建构墨家辩学知识体系,内容包括《墨子》的考版本、正文字、明训诂等内容;还有对同时代学者相关研究的批判;又有自己义理分析,如其认为墨子之辩学亦为名学,为中国逻辑代名词,其他诸子无辩学,中国逻辑特征为别同异、明是非。栾调甫的墨子辩学思想包括知识论和理论体系,其中知识论是墨子辩学形成的思想基础,墨子辩学之理论体系包括名的特征、种类,辞的特征、种类,辩说的特征、结构、应用和种类,狂举的定义和种类等,墨子辩学与因明、亚氏三段论之异大于同。不过栾调甫也把《墨子》中的“逻辑”应用视作逻辑理论,并与三段论、三支论式作比较,但栾调甫的中国逻辑研究“虚会实证”范式为我们重建中国逻辑思想体系提供方法论意义。

基于动态认知逻辑的编辑言语策略

随着稿件处理系统和即时社交软件的普及,人们对电子邮件的依赖逐渐弱化,但邮件仍然是编者、审者、作者和读者深度沟通的重要工具。本文以电子邮件的“抄送”“密送”“群发单显”等功能为例,基于动态认知逻辑,探讨编辑工作中编者、作者、审者等多主体互动的言语行为策略。“抄送”是多主体间的一种公开宣告行动,产生群体“公共知识”,实现编辑稿件处理中一些必要信息的共知,从而避免版权争议、学术不端等问题;“密送”或“群发单显”是主体间的私密行动或部分公开行动,产生非对称信息,对编辑、主编、编委与审稿人的工作起监督和权责制衡作用,且有利于维护作者和审者关系。编辑邮件发送方式的选择体现其言语行为沟通的技巧,善于利用言语策略有利于办刊水平的整体提升。

第八届逻辑与认知国际会议报道(英文)

由中山大学逻辑与认知研究所主办的逻辑与认知国际研讨会自2001年开始每年举办一次,内容涉及逻辑学、计算机科学、数学、认知科学和哲学,共同的目的在于发展中国的逻辑学研究及促进中国与国外逻辑学家的交流与合作。第八届逻辑与认知国际研讨会于2009年11月2日至4日在广州举行,由中山大学逻辑与认知研究所与澳大利亚墨尔本大学哲学系联合主办。本次会议邀请了来自澳大利亚、新西兰、日本、印度、中国香港、中国台湾和中国大陆的学者。会议录用了13篇论文作为发言稿,其中5篇特邀发言分别来自Edwin Mares、Greg Restall、HiroakiraOno、Mark Reynoldsand、Mihir Chakraborty。会议内容涵盖了证明论、逻辑与代数、博弈论、语言学和哲学逻辑。例如GregRestall的论文从确证与否证的角度来理解证明,并且考察这样的观点如何影响对证明结构及证明论的理解。在逻辑与代数的主题上,Hiroakira Ono教授着眼于在保持无穷交并下的代数完全性。哲学逻辑方面的论文有时态逻辑、信念逻辑、动态逻辑、条件句逻辑、模糊逻辑等。博弈论方面有对偏逻辑的博弈语义的考察。另外还有对论证理论的形式模型探讨。会议受到了与会者的高度肯定,为加强亚太地区逻辑学的交流与合作提供了一个很好的平台。会议主委会包括鞠实儿教授、Greg Restall、Hiroakira Ono和Mihir Chakraborty教授一致认为这样的合作与交流应该继续深入下去。期待在不久的将来可以建立起所谓的亚太逻辑研究圈,从而更好地推进逻辑学在亚太地区的发展。

实践中的独立性论题:如何理解群体认知成功

社会认识论的一个重要经验是由两部分内容构成的“独立性论题”:群体可能是非理性的,尽管其每一成员都是理性的;群体也可能是理性的,尽管其成员都是非理性的。我们强烈建议将合作合理化方面的研究视为一个范例,进而对现实世界中涉及论题中第二部分内容的分析提出质疑。我们集中讨论了这类分析的一个突出例子:信息层叠,并论证说明它可以富有成效地概念重构为认知合作的一个实例。这一新视角为改进对这一重要情景的解释和理解指明了方向。

基于时态数据库的极小子结构逻辑系统

逻辑是知识表达的重要方法,但由于时序性知识与时间属性知识交叉应用的复杂性,其对时态数据库支撑一直不尽如人意.目前时态数据运算体系不完备,时态关系演算缺乏系统和有力的逻辑与代数理论支持.为此,文中从子结构逻辑出发,针对时态数据库及其信息处理中关键的知识推理、时态操作与函数依赖等内容,构建了一个极小的(最小的)子结构逻辑系统TDLmin,其恰好等价于传统的数据库函数依赖Armstrong规则.TDLmin系统能在逻辑语义模型中对时序性、时间属性进行表达,而在句法逻辑系统将时间剥离,从而既表达了时态知识,对时态操作进行处理,又降低了逻辑系统的复杂度,使得逻辑系统的时间复杂度为P-time(O(n2)).而该逻辑系统还可与传统的Allen方法进行对接,使得相关时态查询所需的时间代价为传统非时态查询的时间加上一个复杂度仅为O(n)的线性时间,从而使得系统具有更强的普适性和应用前景.

自我欺骗的认知机制

自我欺骗现象与经典信念逻辑之间的偏差导致自我欺骗悖论,因此,建立合理的自我欺骗理论的必要条件是提出自我欺骗的认知机制的逻辑结构。该文试图采用逻辑分析和心理实验相结合的方法解决自我欺骗悖论,即在逻辑学层面说明矛盾信念间的逻辑关系,进而在心理学层面说明自我欺骗发生的机制。为了实现这一目标,首先用逻辑学的术语严格表述自我欺骗悖论;然后,在文献的基础上给出自我欺骗的逻辑结构;最后,根据上述逻辑结构设计并实施两可图认知实验,实验结果分析表明,自我欺骗的心理机制满足上述逻辑结构。

描述逻辑的动态时序扩展

在一些基于本体的动态应用中,需要描述组合动作和变化域的时间特性。为了对这类应用建模,通过整合动态时序逻辑和描述逻辑,提出一类描述逻辑扩展。分析了该类扩展的基本形式DLTLALC的语法和语义,并提出一种可终止的tableau算法判别DLTLALC公式可满足性。利用该类扩展,可以表达组合动作执行过程中域变化的时间特性,该类扩展为语义Web服务等动态应用建模和推理提供了一条有效途径。

概率逻辑程序

The purpose of this paper is to present the syntax and semantics of probabilistic logic programming to al-low for the correct representation of incomplete information. General logic programming is extended by a subintervalof [0,1] that describes the range for the conditional probability of the head of a clause given the range for the proba-bility of each atom of its body. We define the semantics (answer sets semantics) of such probabilistic logic program-ming and illustrative their applications. We also show some properties of answer sets semantics for the probabilisticlogic programs.

超内涵的条件句逻辑的哲学基础

本文从条件句逻辑中一条颇受争议的定理SDA出发,通过分析以往对SDA与RCEA之间冲突的解决方案中存在的问题,论证了日常语言中超内涵的条件句的存在,以及建立新的超内涵的条件句逻辑的必要性。

非经典逻辑观与法律论证的评价——兼论苏珊·哈克逻辑哲学思想

苏姗.哈克使逻辑哲学发展成为独立的学科。逻辑哲学的中心问题是对于逻辑系统与现实原型“恰当相符性”的不断探索。逻辑理论具有可修正性,经典逻辑的公理和规则本身需要不断修正,多种非经典逻辑的出现是必要的和可能的。这样,才能更好地适应现实原型的要求。逻辑的中心问题则是有效论证与非有效论证的区别问题。关于论证有效性的评价,哈克提出,存在着形式的(语形的)、实质的(语义的)和修辞的(语用的)标准这样三种由强到弱的有效性标准。法律论证的核心问题也是论证的有效性,可以把苏珊.哈克的逻辑哲学思想灵活运用于有关法律的逻辑与法律论证的评价标准的分析,并且将哈克的这三种有效性标准有机地结合起来。

非形式逻辑的对象及其发展趋势

随着非单调逻辑的产生和发展,人们提出了“究竟什么是逻辑”的问题。对这个问题的两种不同回答,形成了逻辑学的两个学派??抽象逻辑学派和具体逻辑学派。抽象派主张逻辑学是研究有效论证的科学,具体派则认为逻辑学是研究好论证的标准的科学。前者把论证的有效性看做是完全从其背景中抽象出来的,是研究基于零主体的人工语言论证的分析与评价,实际上把论证评价标准局限于演绎逻辑或单调逻辑范围之内,并把归纳推理、回溯推理和各种实践推理排斥在逻辑学之外;后者则认为论证评价需要考虑其运用背景或论辩目的,研究的是基于多主体的自然语言论证的分析和评价,涵盖了各种形式实践推理的研究,并把论证评价的标准扩充至了修辞学范围。如何划清逻辑与修辞在论证评价中的作用范围呢?非形式逻辑学家们似乎正在做这项工作。该文在把论证分为作为静态成品的论证和作为动态过程的论证两大类的基础上,把非形式逻辑区分为形式论辩学派和语用论辩学派两大学派,分析了非形式逻辑的理论来源、基本特征和研究对象,探讨了非形式逻辑的发展趋势。

非形式逻辑视野下的论证评价理论

论证可分为形式论证(人工语言论证)与非形式论证(自然语言论证)。前者是形式逻辑的研究对象,后者是非形式逻辑的研究对象。我们从几个代表性逻辑学定义出发,分析了非形式逻辑产生的背景,讨论了形式逻辑与非形式逻辑的区别,并从非形式逻辑角度探讨了自然语言论证评价的标准。

论实质蕴涵、形式蕴涵与逻辑蕴涵

本文将蕴涵分为三类:实质蕴涵、形式蕴涵与逻辑蕴涵,从多值逻辑角度解决了实质蕴涵、条件句与推论关系之间的关系,详细考察了三类蕴涵概念之间的区别和联系,从三种蕴涵角度区分了科学真理、数学真理与逻辑真理。

孔子“正名”思想的逻辑观评价

在先秦逻辑思想中,孔子正名思想是时代的产物",正名以正政"是其逻辑前提和逻辑结果的统一,体现了求真与求善的两种精神。求真精神追求了正名思想的"逻辑真",求善精神追求了正名思想的"伦理真"。孔子正名思想的逻辑观有着鲜明的伦理化倾向及特殊的历史作用,对构建当代合理的国际关系与文化交往,也有着不可忽略的时代价值。

信念逻辑的逻辑全知问题

一、逻辑全知者问题 逻辑学研究的对象是人的思维．现代数理逻辑与哲学逻辑则致力于考察人的推理行为与模式。作为个体的人，由于受其所在环境、所接受的知识、所掌握的资源的限制，其推理能力必然是有限的。例如，假设从理论上讲，某人从其当前所掌握的知识出发，能够推出一个命题α。实际上．他仍可能推不出α。也许推出α过于困难．超出了此人的能力。