二难推理及其应用

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

无条件句和二难推理简单构成式

表示无条件关系的“无论 A,都 B”格式的复句,原本不是二难推理(假言选言推理)简单构成式的语言表达形式,可是不少逻辑教材及参考书却将二者对应地相提并论。拙文就此提出己见,以期引起讨论。某些逻辑书在讲到二难推理简单构成式时,往往以毛泽东同志《论人民民主专政》一文中的一段话作为例子:     

二维推理在数学中的应用实例

在数学中，形成逻辑的应用是多方面的，不过，二难推理的影子却很难见到。文章将首次找到应用实例。     

联合演算对传统直言推论的系统化

本文确定了联合演算的初始符号、形成规则、定义、公理和基本推理规则。以此为出发点，本文对传统直接推论和传统直言三段论作出系统化处理，证明传统对当关系的所有有效式、传统逻辑中的简单换位、传统换质法推理式、传统换质位法推理式、传统戾换法的全部有效式以及传统直言三段论二十四个有效式在本联合演算系统中都是定理。     

二难推理在数学中的应用实例

在数学中 ,形成逻辑的应用是多方面的 ,不过 ,二难推理的影子却很难见到 .文章将首次找到应用实例     

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

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

一种基于知识规则推理的C++实现方法

提出了一种决策支持系统中基于产生式规则的知识表示和推理的C＋＋语言实现方法，该方法把规则的结构和推理定义成规则类，把具体的规则定义成规则类的实体，用这些规则实体构建动态链表从而组成知识库，推理的过程由知识库中各规则实体提供的方法完成，通过设计的实例表明，该方法是简单高效的。     

一种IDSS模糊推理机的OOP实现模型

提出了一种智能决策支持系统（IDSS）中基于产生式规则的知识表示和模糊推理的面向对象实现方法。该方法把知识规则的结构和模糊推理方法定义成规则类，把具体的规则定义成规则类的实体，用这些规则实体构建动态表从而组成知识库，推理的过程由知识中各种规则实体提供的方法完成。在推理过程中采用模糊处理使得结果更符合客观事实，该方法是简单高效的。     

基于知识表达和推理的河网自动选取

针对河系是地图上重要的要素，它的自动选取是地图综合的基本手段之一，把基于知识的人工智能方法引入地图自动综合是一种合理选择。把河系自动综合中的知识分为空间知识、属性知识及综合规则，研究了这三类知识的获取策略和形式化方法，建立了河系自动综合的产生式规则库：在规则库中依据规则驱动采用正向推理完成河系选取的推理过程，推理中全面考虑了河网知识和综合中各条规则的优先级和权重。通过实验验证了该方法对保持河系的整体结构特征的有效性。     

用前向神经网络获取特定结构的规则知识

介绍一种用前向神经网络来获取特定结构的产生式规则知识的方法，这些规则知识既可以用于解释神经网络的行为，又可以用于问题求解，获取的产生式规则知识可以是任意形式的，也可以是包含多个推理步的多级推理链知识，而且具有所需的易于理解的特一表达结构，另外，文中还提出了解决智能系统形成过程中知识不断增长问题的方法，大量的逻辑表达式学习实验结果表明，文中获取规则知识的方法是有效的。     

负判断推理的逻辑形式及特点

针对传统的普通逻辑中缺少对负判断推理的完整论述问题,阐述了负判断推理的两种形式:简单判断的负判断推理和复合判断的负判断推理.同时,归纳出负判断推理具有直接推理属性,以及前提和结论是等值关系的两方面的特点.     

一类滞后型泛函微分方程振动的充分必要条件

考虑具有三个滞后变元的线性常系数泛函微分方程的振动性,以包络线为工具得到用系数和变元表示的一切解振动的充分必要条件.此研究推广了文[1]的结果,将使振动性的判断得到简化.     

电流变液产生屈服应力的理论分析

本文通过对电流变液系能量变化的分析，建立了一种Ｂｉｎｇｈａｍ流体的压缩模型，导出了ＥＲＦ产生屈服应力的必要条件。模型之结果说明，固体粒子凝聚区域在剪切过程中会被压缩，从而产生屈服应力。此模型从理论上论证了陶荣甲教授对电流变液产生屈服应力原因之论断。在本文的最后对所得到之结果作了适当的讨论。     

基于自适应神经模糊系统模型的锅炉汽包应力在线计算与监测

汽包寿命的在线监测是关系到自然循环锅炉运行安全与经济性的重要课题 .实现寿命监测的关键是寻找适合在线计算的应力模型 .针对建立模型的需要 ,制订了假想工况变动过程 ,并以此作为边界条件对锅炉汽包的温度、应力状况进行了三维有限元计算 .采用自适应神经模糊系统( ANFIS)再现有限元数值计算结果 ,从而建立了新的应力模型 .在所建模型的基础上对原有电站锅炉汽包应力监测系统的测点布置做出了相应的调整 .改进后的方法不仅提高了运算速度 ,减少了测点数量 ,而且继承了数值计算的精度 .由于数值计算的引入 ,克服了现场实验方法难以获得大样本数量的缺陷 ,并有利于进行事故状态的模拟 .     

分块矩阵有定性的判据Ⅱ

给出了分类矩阵有定性的一个判据以及矩阵方程XA=B有定性的解存在的充要条件和解的一般形式。     

分块矩阵有定性判剧

给出了分块矩阵有定性的一个判剧,以及矩阵方程XA=B有定性的解存在充要条件及一般形式。     

《理论力学》教学中的哲学思想

哲学思想贯穿于每一门自然学科的发展过程中,本研究探讨了哲学上三种基本思维形式—概念、判断、推理在《理论力学》教学中的体现。首先介绍了牛顿《自然哲学之数学原理》一书中正是从概念、判断、推理三方面把力学知识整理成为了一个演绎知识体系。然后结合《理论力学》教学经验,通过实例分析教会学生从哲学上来理解相关的概念,熟知其中的原理性判断并运用它们来进行推理分析求解问题。引导学生从哲学的高度进行《理论力学》的思维学习,取得了较好的教学效果。     

自然推理系统中的假设前提引入与消去规则

形式化的自然推理系统最显著的特点就是引入假设前提.在自然推理中,可以根据需要随时引入假设前提,但是推理的结论不能依赖于假设前提,因此假设前提在其完成了使命后,必须被消去.运用假设前提消去规则进行推理就是按照“如果A1,A2,…,An├B,那么A1,A2,…,An-1├An→B”的规则进行语形变换的过程,但是理解假设前提消去规则何以能够消去假设前提这个问题,涉及到对前提与结论之间真假制约情况的讨论,属于语义解释的范围.     

软件可靠性多模型综合评估

软件可靠性工程领域一直存在模型很难应用于实际的问题，不同的软件可靠性模型对同一个软件工程项目的估计差别极大，为此，探讨了软件可靠性估计的稳健方法，研究了多模型的贝叶斯自动混合与选择的理论，其重点是要探讨贝叶斯先验表达及多模型的混合机制，以解决上述难题。     

钢构件及其连接在荷载作用下强度的验算

本文通过对不同截面形式的钢构件及其连接在外荷载作用下强度条件的研究，提出一些必要的扩充内容，从而使其强度条件更完善，以确保钢结构及其连接的安全。