《墨子·经上》中“成”式法律推理约束力考论(下)——中西推理基本形式比较研究

以《墨经》首章为研究对象,在上篇以墨学诸家成果的对比研究及古文字考释陈列"成"式推理的步子,亦论证此推理的内在约束力的基础上,下篇主要讨论"成"式推理的特点与价值。概述了华夏"成"式特点,讨论了《墨经》"成"式与古典"成"式定罪的关系,在关键构成上,揭示亚里斯多德syllogism推理体统与"成"式的类同。     

情绪推理:一种独立于理性推理的推理形式

情绪推理(Emotional Reasoning)是基于情绪体验而做出的主观性判断,它具有两面性:一方面它能完善人们的思维能力,尤其是理性推理难以发挥作用时更是如此,另一方面它又会因为缺乏客观依据而导致认知偏见。研究基于文献分析法、理论思辨法和德尔菲技术等方法,对国内外有关情绪推理的相关研究进行了综合梳理,结果发现,国内研究主要集中在基于逻辑推理范围内深入考察情绪对逻辑推理的影响,而国外更倾向于视情绪推理为一种独立于基于逻辑的理性推理而存在的推理形式。此外,研究还发现,情绪推理的发生机理是以一种与理性推理的累加式结构不同的乘方式结构而展开的。     

法律推理中的辩证推理与实践推理刍议

共识认为 ,在法律推理时仅仅依靠形式法律推理是不够的。但不同的法学家对如何弥补“不够”并不一致。本文针对辩证推理与实践推理两个理论的要义进行比较 ,以期找到在中国法律制度下的法律推理的理论模式。     

法律推理中的辩证推理与实践推理刍议

共识认为，在法律推理时仅仅依靠形式法律推理是不够的。但不同的法学家对如何弥补“不够”并不一致。本文针对辩证推理与实践推理两个理论的要义进行比较，以期找到在中国法律制度下的法律推理的理论模式。     

案例推理研究综述

基于案例推理是人工智能领域一项重要的推理方法,是近年来发展迅速且应用广泛的一个推理模式.详细论述了基于案例推理的原理、理论研究发展及其应用,最后对CBR今后的发展趋势做出概括.     

浅谈工作记忆与阅读推理的关系

工作记忆是影响语篇阅读推理的一个重要因素。在国内外相关文献研究和分析的基础上,论述了语篇阅读推理的主要模型和理论以及Baddeley工作记忆的模型,总结了工作记忆与阅读推理的关系。     

法律推理从“逻辑独白”到“实践对话”的位移

法律推理过程包含着权力与利益、应然与实然、确定性与妥当性、客观解释与主观解释、逻辑与价值、语言与事件、思维与表达、认知与行动等诸多矛盾。在司法能动主义与司法克制主义、自然法学与分析法学、实证主义与现实主义、分析哲学与经验哲学的碰撞中,法律已经由文本所体现的规范层面转向法律施行的实践层面,法律推理已经由"逻辑独白"位移到"实践理性"。     

二值命题逻辑中的蕴涵度量与近似推理

在二值命题逻辑系统中引入公式的真度、条件真度和蕴涵真度概念,为二值命题逻辑系统的程度化研究和近似推理提供了数值化工具.为了讨论基于真度、条件真度和蕴涵真度的近似推理模式的关系问题,以真度概念为基础,在二值命题逻辑系统中引入蕴涵度量概念,并通过蕴涵度量的真度表示式,给出了与有限理论相关的分别基于真度、条件真度和蕴涵真度的伪距离的蕴涵度量表示式,证明了分别基于真度、条件真度和蕴涵真度的近似推理问题可以转化为基于蕴涵度量的近似推理讨论,并给出了蕴涵度量在近似推理中的应用,为二值命题逻辑系统的基于不同真度的近似推理研究提供数值化方法.     

一种基于证据推理的似然推理算法

似然推理是知识工程研究的主要课题之一。目前已有计多似然推理体系被应用在各种专家系统中。证据理论是八十年代被引入到知识工程研究中的似然推理理论,现己受到高度重视。本文提出一种基于证据理论的似然推理算法,它可以充分发挥证据理论的优点。     

裁判推理的四种有效模式——以否定式裁判推理为中心

当前的主流理论把裁判推理的有效模式刻画为一个充分条件假言推理,其缺陷在于忽视了法律规定的多样性和事实不明的可能性,特别是不能说明否定式裁判推理之有效性。重建裁判推理的有效模式,须以整体适用的思维反映裁判推理的实际,将所有那些或明或暗地起着实际作用的法律规范都纳入大前提之中,并且注意证明责任对裁判的特殊影响。由此,可以确立以充要条件假言规范命题为大前提的四种裁判推理有效模式。     

不确定性推理

专家系统主要由知识库和推理机组成由于知识带有模糊性、随机性、不确定因素．所以由不精确的知识进行推导，得到所需要的结论成为专家系统中的一个重要研究内容．本文探讨高级知识推理方法的一种即不确定性推理．     

复合判断推理不同推理形式间的互通

从现代形式逻辑的观点看，许多不同形式的推理实际上是等值的。但是，由于表达形式的不同，就显示了不同的特征。不同类型的推理，可以显示出从不同角度考虑极为重要的性质。诚然，这在传统逻辑中却极少论及。本文探讨了假言推理中充分条件假言推理与必要条件假言推理的等值关系；探讨了充分条件假言推理、必要条件假言推理与相容选言推理间的等值关系，并说明了诸推理式间的互通问题。     

容错推理的逻辑基础

容错推理允许容纳错误知识而能作出合理推论,形式化常识推理可以描述为各种容错知识情形下推理的问题,容错知识的一般基础是含矛盾与含未知知识情形。我们基于极大相容性概念,定义极大相容子理论作为形式化容错推理的一种特殊途径;进一步,我们基于优先语义,给出一种容错逻辑的一般途径。     

积分语义学中的积分相似度、伪距离与近似推理理论

进一步研究了积分语义学理论中的积分相似度、伪距离及近似推理理论，提出了改进的积分交推理规则，给出了公式集Γ的n次发散度的估计式；同时在近似推理中引入了“相离度”概念，并给出了判定相离度为0的充分必要条件。     

格值自动机的产生式推理建模方法

针对多规则多结论的复杂产生式推理,将形式化语言识别能力和产生式推理结合起来,提出一种基于格值自动机的产生式推理建模方法.首先,利用格值自动机理论优点,将复杂产生式推理过程用格值自动机的格值语言描述出来,从而建立通用的产生式推理模型;其次,给出模型的规则间逻辑正确性验证方法,以及模型随规则库更新而更新的方法;最后,用实例验证建模方法的正确性.结果表明:该方法可以充当专家系统的辅助决策系统,具有较好的现实意义和实用价值.     

试析数学中的推理与证明

推理与证明是数学的基础思维过程和方法,它渗透于教学的所有内容.从有关实例入手,分析了推理与证明在数学研究与教学中的运用.     

GIS中定性距离推理

为了丰富了GIS基础理论,运用区间运算理论和集合论,根据定性距离约束条件,导出了定性距离推理的通项公式,重点研究了同向定性距离推理和反向定性距离推理.只要定性距离的区间范围单调递增,推理结果与具体的区间比值无关.根据吸收律,定性推理结果与相邻定性距离的区间范围之比有关.该研究成果.     

面向agent的统一知识表示与推理逻辑框架

agent设计的坚实理论基础必须建立在知识表示和推理的理论之上.针对目前逻辑理论模型及行为理论模型的不足,提出以描述逻辑及其扩展来描述agent的静态、动态及不确定性知识等信念知识,结合描述逻辑与行为理论进行动作描述;并与认知逻辑相结合构成一个信念知识混合系统认知描述逻辑(EDL),以弥补描述逻辑在过程规则表示方面的不足.给出了EDL的语法及语义以及公理系统,构建了一个面向agent的统一的知识表示和推理逻辑框架.     

应用C++STL实现基于知识规则推理的方法

对基于产生式规则的知识表示与推理,结合面向对象技术,提出一种应用STL的C++语言实现方法。该方法将规则的结构、创建及释放定义成规则类,具体规则定义成对象,依据STL对序列容器中表的定义构造规则表容器和事实表容器,以创建知识库及动态数据库;推理机独立于知识库;类属算法和成员函数的使用,使推理算法易于编程实现;程序通用性好且便于知识更新。在刀具智能选择专家系统中的应用表明,该方法简单、高效、灵活。     

努力开拓古典诗歌研究的新途径--以《古体诗歌艺术研究》为中心探讨

中国古典诗歌的传统研究离本体研究较远,高度不够.李娓教授的<古体诗歌艺术研究>以诗情道性阐说的方式达到了诗歌艺术本原的新发现,从哲学的高度和新的角度开辟了古典诗歌研究的新途径.该著以"天人合一"的哲学思想为立论根基,从天道与诗道的形而上品质的高度,以新的角度审视并研究诗歌审美体验、诗歌语言、诗歌炼意、诗歌旋律、诗歌修辞诸多方面的表现特征及其形而上渊源,提出了一系列的新命题与新观点,为我国诗歌艺术的理论研究草构一个新框架.