图形推理研究

对于人类的智能而言,抽象推理和形象推理缺一不可,而图形推理是形象推理非常重要的形式。积极、深入地开展图形推理规律的研究,对于揭示人类智能的本质、进一步开发人类的智力潜能具有非常重要的理论意义。图形推理是以推理为主、其他思维方式为辅的综合性思维过程;图形推理的有效性既考虑图形在空间形式结构上的联系,又考虑图形与图形之间内容上的联系;图形推理的结论有些是确定的,有些是不确定的,图形推理培养的是发散型思维。图形推理可以分为必然型和或然型、确定型和不确定型、直指型和意谓型、平面型和立体型等多种不同的推理形式。图形推理具有重要的创新功能。

论和谐的逻辑机制

深入认识和准确把握和谐的逻辑机制,是以和谐理念指导社会交往实践的前提。和谐的本质是社会交往关系的和谐,交往理性是和谐关系的理论场域。和谐是存在于不同主体间的共生共荣关系,主体间性是和谐关系存在的基本范式。和谐的发展存在于社会交往的发展过程之中,社会交往是和谐关系发展的历史时空。和谐是各方相互依赖和相互促进的局面,互利共赢是和谐的应然状态。

交替变形推理之完整理论

变形推理包括三种类型:换质推理、换位推理和交替变形推理。交替变形推理又可分为自然的交替变形推理和规定的交替变形推理。自然的交替变形推理包括自然换质位推理(先换质后换位,从第一次换位直到不能再变形为止的所有变形推理)和自然换位质推理(先换位后换质,从第一次换质直到不能再变形为止的所有变形推理)。规定的交替变形推理包括对位换质位推理(对直言命题先换质后换位,再换质)和戾换推理(通过换质位或换位质的方式,在主谓项顺序保持不变的情况下,主谓项概念都变成负概念的交替变形推理)。

非单调逻辑的产生背景

非单调逻辑是近年来人工智能领域的一个活跃研究分支,是人工智能进一步发展的核心问题之一。人工智能研究的发展,迫使人们去面对人的常识和常识推理的形式化问题。因为人工智能要模拟人的智能,它的难点不在于人脑所进行的各种必然性推理,而在于最能体现人的智能特征的能动性、创造性思维活动,而常识推理就是这种智能性最集中的表现。常识推理具有非单调性的特点,即随着新信息的加入,原先的结论可能会被修改或废止。这样的推理被称为非单调推理。而现有的经典逻辑无法刻画非单调推理。非单调逻辑就这样应运而生。此外,非单调逻辑的产生还与一些启示性的问题以及处理不确定性中遇到的问题相关。本文就从这三个方面论述非单调逻辑的产生。

直言判断变形推理疑难及其规则补充——兼析逻辑教材长期存在的一种不一致情形

直言判断变形推理是普通逻辑的重要内容 ,它依据的是直言判断的逻辑性质和主谓项的论域关系。直言判断的逻辑性质又是依据主谓项的外延关系确定的。然而 ,现行教材概念论中概念外延关系、负概念及其论域内容与直言判断及其变形推理内容并不一致 ,变形推理操作规则与实际推理也有龃龉。从普通逻辑的实际功用看 ,这种不一致应该以新规则消除之 ,以使普通逻辑与日常思维理性相一致 ,使概念论、判断论。

图形推理试题设计与效度研究

基于对图形推理测验的研究,结合心理测量方法,以准确测验智商为目的进行图形推理命题设计,并对此进行效能研究,认为试题设计具有下列功能:准确测验应试者智商的导向性、避免传统测验题库重复等特性。

论推类与传统类比推理

类比推理在人类的认识史上起着重要的作用,在中国古代,推类这一推理形式备受重视并占主导地位。到了近代,西方传统逻辑传入中国,传统类比推理在中国文化的土壤中成长并获得长足发展。中国古代逻辑中的推类与传统逻辑中的类比推理本质相同,但又有其各自不同的形式、特点和运用。

复合概念的结构分析及其逻辑意义

传统逻辑疏于对概念内在结构的考察,因而也无法对复合概念进行明确的分类。确立复合概念的新类,并运用现代逻辑的类演算工具对其进行结构分析,有助于我们更好地明确概念、分析命题和应用推理。

探索-利用困境再审视——基于主动推理的视角

探索-利用困境是当代行为心理学和人工智能等研究领域中的难点问题之一。近些年来,随着神经科学、认知心理学、智能科学、管理科学等学科的不断发展以及脑成像技术的日益进步,有关探索-利用困境的探问也得到了多向路的推展和深化。其中,神经科学家卡尔·弗里斯顿基于变分自由能原理提出的主动推理,从计算和神经层次上为探索-利用困境的重解提供了一种整合性的一元化分析立场。在主动推理框架下,可以将探索-利用困境的序贯决策问题转化为单一目标函数的优化,即预期自由能最小化。由此,探索与利用之间的平衡由预期自由能最小化所驱动,认知主体可依据外在环境的改变局部切换认知价值和实用价值从而自适应地平衡探索与利用行为。

十三、实践推理中的非理性：从中国哲学的观点看

在《非理性的悖论》一文中,戴维森指出,"非理性是在理性范围之内的失败".这似乎向我们表明,非理性并非存在于理性之外的东西,而是在理性范围之内的东西.但既然是在理性之内,那么我们又如何会把它称作"非理性"呢?