窥探充分条件假言命题及其推理的思维张力

充分条件假言命题是从类似"如果……那么……"作为连接词的复句中提炼出的思维结构。该结构刻画着人们思维中常见的蕴涵关系,即一种情况存在蕴涵另一种事物情况存在的关系。以这种关系为基础构成了人们常用的充分条件假言推理。充分条件假言命题及其推理与思维实际充分结合,就充分彰显人类思维张力,并给予我们巨大的逻辑力量。     

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

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

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

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

知识库中假言推理命题的Fuzzy表达及其求值

本文给出了另一类近似推理命题——假言命题的Fuzzy表达及其求值算法,并提出语言真值的“动词化”设想。作者认为在专家系统中采用语言真值的“动词化”方法可能更有效。     

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

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

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

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

逻辑定理在科技管理中的应用

讨论并举例介绍了几种常见的命题逻辑推理,包括假言推理(充分条件假言推理、必要条件假言推理、充分必要条件假言推理)、尽举选言推理(尽举相容选言推理、尽举反相容选言推理、尽举不相容选言推理)、非推导逻辑定理(不矛盾定理、排中定理)等在科技管理中的应用。在科技管理中应用逻辑定理理论会更有利于搞好科技管理工作。     

假言推理在侦查讯问工作中的运用

假言推理是反映客观事物间条件联系的推理,在讯问工作中有广泛的应用。因为犯罪同其他事物一样,也存在着这样或那样的因果关系,讯问人员往往需要从认识案件的一个环节去认识另一个环节,由已知环节去认识未知环节。讯问人员正确运用假言推理,一方面可以推断犯罪嫌疑人应具备的条件,另一方面可以用有力的语言揭露、驳斥犯罪嫌疑人的诡辩。运用时还必须做到大小前提真实,推理形式正确。只有这样,才能在讯问工作中发挥它应有的作用。     

带参的模糊推理合成法则

该文针对单重单维的Ｆｕｚｚｙ推理，提出了一个带参的推理合成法则，使Ｚａｄｅｈ于１９７５年提出的“推理合成法则”是它的一个特例，给出了Ｚａｄｅｈ方法与它等价的充分必要条件，并克服了Ｚａｄｅｈ方法一般不满足假言推理的缺陷。该文又把这一结果推广到多维和多重的Ｆｕｚｚｙ推理．     

反事实条件推理的认知加工机制初探

选取两个条件命题,采用命题推理和语义推断的两阶段实验任务,探讨了大学生被试进行“反事实”条件推理的认知加工过程.结果发现:①被试对“如果当时P,就会(不会)Q”的条件命题一般会作出反事实的理解,即“PQ”,但也可能会对“如果P,就会(不会)Q”的条件命题作出反事实的理解.②在进行“反事实”推理时,被试更倾向于认可MT推理和DA推理,这一结果对心理模型的观点提供了实验支持.     

浅谈合情推理在大学数学中的应用

论述了合情推理的两种常用方法：归纳推理和类比推理在大学数学中的应用．     

先验概率值的一种学习方法

近年来,已提出了一些非确定性信息的理论,如概率理论,证据理论,可能性理论,基于Ｂａｙｅｓｉａｎ公式的似然推理模型等。这些方法均在不同程度上要求专家给出一些先验概率值,从而影响了它们的应用程度。所以,建立一种有效的获取先验概率值的方法是有必要的。本文给出一种从实际例子中自动获取先验概率值的方法。     

一种新的特征展开模糊推理方法

在Zadeh提出的模糊推理合成规则及陈永义等提出的模糊集特征展开近似推理方法的基础上,给出了新的模糊推理合成方法,定义了模糊集的一种新的特征展式,分别给出了计算一般模糊推理和双重蕴涵命题模糊推理的新方法,并把它们推广到一般情形,即一个模糊推理系统是由一组多重蕴涵命题组成的情形,得到一种新的模糊集特征展开推理方法.这种方法使得模糊推理合成计算简单,给Fuzzy控制器的设计带来方便.     

基于事例推理的质量故障处理系统的研究

基于事例推理是人工智能中的一种重要推理技术。以质量管理系统的设计与开发为背景,在分析质量故障处理的特点和应用现状的基础上,提出了一种基于事例推理的质量故障处理方法。它克服了传统的基于规则推理系统获取、描述准确知识困难的瓶颈,提高了自学习能力。     

模糊缺省推理的理论和方法研究

在一种含有补余律的模糊抽象代数系统（即ＦｕｚｚｙＢｏｏｌｅ代数）上，利用模糊逻辑公式与布尔函数的相互转换性，构造了具有模糊非单调推理能力的推理机制；从可应用性出发对模糊缺省规则进行了深入的讨论。该推理机制不仅增加了在量的描述方面的知识表达能力，而且在一定程度上解决了扩张存在性问题，提高了推理的效率。     

空间推理研究的方法学

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

简化模糊推论模型与多层构造模糊推论模型的对比研究

能够直接输出非模糊值的简化模糊推论已被广泛应用于控制系统.随着条件部成员函数个数的增加,这种模糊推论模型能够获得较高的输出精度.但是,对于采用从现实环境下获取的示教数据进行模型学习的情况,简化模糊推论模型有时难以获得很高的辨识精度.本文采用现实环境下的两种典型的示教数据,对单层构造的模糊推论模型和多层构造的模糊推论模型进行辨识.实验结果表明,多层构造的模糊推论模型比单层构造的模糊推论模型具有更高的辨识精度和对示教数据的适应能力.图7,表4,参16.     

知识推理的程度化方法(英文)

在知识推理的许多应用领域里,对特定事件和当事人知识的可能性的推理扮演着重要角色.本文提出了一种程度化的知识推理方法,在该推理机制下,可以讨论在给定的Kripke知识结构M中的给定状态s之下一个当事人在多大程度上知道某个事件,最后讨论了这种程度化知识推理的一些重要性质.     

A nonmonotonic linguistic certainty factor model

ＡｎｏｎｍｏｎｏｔｏｎｉｃｌｉｎｇｕｉｓｔｉｃｃｅｒｔａｉｎｔｙｆａｃｔｏｒｍｏｄｅｌＱｉｕＹｕｈｕｉ￣１，ＬｕｏＸｕｄｏｎｇ￣２（ＤｅｐａｒｔｍｅｎｔｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅ，ＳｏｕｔｈｗｅｓｔＣｈｉｎａＵｎｉｖｅｒｓｉｔｙ，Ｃｈｏｎｇｑ...