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

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

论审判活动中的法律假言推理

法律假言推理是诉讼活动中的重要推理，分析和探讨审判活动中法律假言推理的特征及其结构形式，旨在阐明为了获得可靠，准确的审判结论；除了要具备相关的法律知识以外，还需具备法律逻辑的基础知识，在逻辑的层面上来理解和把握法律规定，进行有效的法律推理，力审判结论提供思维保证。     

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

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

空间推理研究的方法学

概述了空间推理研究的内容,关键问题的基本方法,从基本原则,形式框架,研究步骤,表示体系和推理框架等五个方面提出了空间推理研究的方法学,结合实际研究案例阐述了该方法的合理性与有效性。最后指出了空间推理研究的进一步工作和方向。     

“无”原理与E,I推理

本文介绍了“无”原理及其变易，Ｅ、Ｉ推理了Ｅ、Ｉ推理的推广，还给出了Ｅ、Ｉ推理的应用逻辑中的一些应用。     

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

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

定性推理的新进展

本文主要介绍作为定性推理最新成果的三种推理方法:数量级推理、比较分析以及量纲分析.同时,对它在工程枝术上的应用给予简单介绍和评述.     

基于实例推理的基本理念

基于实例推理是目前研究较多的智能问题解决方法之一，它是在近十几年来AI中发展起来的区别于基于规则推理的一种推理方式，它是通过访问知识库中过去同类问题的求解从而获得当前问题解决的一种推理模式。     

由"半费之讼"而被误解的"两难推理"

从逻辑的角度考察著名的"半费之讼"所涉及的推理,有很多不同的观点.多数人认为其总前提有问题,有人认为违反了同一律,有人认为违反了矛盾律.但是,还有人认为推理没有逻辑错误,是一个逻辑悖论.无论是否认为它是诡辩,多数人认为其推理在形式上没有问题,属于正式的"两难推理".从推理形式的角度分析"普罗泰戈拉推理"中的诡辩性质,指出其主要问题并不是违反同一律或者矛盾律,而是以偏概全,实施了隐蔽的不等价命题代换,认定它是一个形式错误的推理.     

推理能力在英语阅读理解中的运用

阅读是一项复杂的技能,推理能力是阅读理解中的必然要求。本文具体阐述了在阅读过程中推理的依据与线索,解析推理的过程及其优化条件,以期帮助阅读者提高推理能力,从而提高阅读理解的水平。     

基于元推理的专家系统规则调用

本文给出一个基于元推理的专家系统规则调用模型，并给出了运用这一模型的一个实例。     

实例推理和规则推理在CAD中的集成研究

基于实例的推理（CBR）和基于规则的推理（RBR）是知识工程中两类实用有效的推理方式，其逻辑学基础是类比推理和演绎推理。在复杂内、病态结构的设计问题求解中，上述两类推理方式都得到了广泛而独立的应用。提出一种将CBR与RBR集成的方法，即根据设计过程中各阶段的特点，灵活使用实例推理和规则推理策略去解决工程设计问题， 可提高设计问题求解的效率和有效性。     

基于主观Bayes方法的甲状腺专家系统模型

研究并实现了一个基于主观Bayes方法的甲状腺专家系统模型 ,讨论了主观Bayes方法的数学基础 ,给出了不确定性推理网络的算法描述 ,并且将理论研究的结果运用于甲状腺专家系统的设计和实现 ,举例说明了网络推理过程 ,对不确定性推理的应用进行了有益的探讨 .     

假言推理研究的进程与展望

假言推理是前提中有一个为假言命题,并且根据假言命题前件与后件之间的关系而推出结论的推理。假言推理研究的进程大致可分为两个阶段：第一阶段是从20世纪60年代至70年代末——问题提出阶段,第二阶段是从80年代初至现在——理论发展阶段。纵观假官推理研究的进程,可以发现以往的研究存在着一些缺陷或不足,这是今后关于假言推理研究应该着重关注和解决的问题。     

小学生数学合情推理能力发展的对策研究

本研究结合教学实践,探讨发展小学生数学合情推理能力的对策,研究发现：可以通过构建有效教学模式、运用恰当发展途径方法、注意合情推理和演绎推理的结合,发展小学生数学合情推理能力。     

试论假言连锁推理的完善体系

对现行高等院校形式逻辑学的假言连锁推理体系做了进一步具有探索性的研究，补充完善了假言连锁推理体系。     

二难推理及其应用

二难推理是假言选言推理的一种，是由两个假言判断和一个两肢的选言判断为前提所构成的复合判断推理。是人们在辩论时经常运用的一种推理形式。通过这种推理，辩论者的一方提出一个具有两种可能的大前提，对方不论肯定或否定其中哪一种可能，结果都会陷人一种进退维谷的境地。例如：中世纪的神学家们曾经荒谬地宣称：上帝是无所不在、无所不知、无所不能的，我们这个世界就是由这个全知、全能、全善的上帝创造出来的。对此，当时就有人提出来一个问题：上帝能否创造一块连他自己也举不起的石头？并对这个问题作了如下推论；如果上帝能创造出…     

基于管理决策问题中的异构知识集成推理研究

探讨了基于管理决策问题异构知识的集成推理及应用，在异构(混合)知识的面向对象表示的基础上，构建了一个在推理策略控制下，以元推理机为核心，四种功能推理机协调工作的推理系统。这里首先对管理决策问题中的异构知识进行定义和表示，然后阐述推理系统的各推理机的功能和推理机制。最后以企业评价决策问题为例，说明异构知识表示及其推理求解，以改善管理决策智能水平和提高问题的求解能力。