反事实思维的研究及回顾

反事实思维是指个体对过去事件加以心理否定并建构出一种可能性假设的思维活动。该文通过综合国外许多研究者的研究成果,探讨了反事实思维的定义、影响反事实思维产生的因素、反事实思维与因果推理的有关系,最后提出了未来需要进一步探讨的问题。     

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

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

《墨子》假设复句研究

《墨子》中假设复句数量众多、形式多样,文章对《墨子》中的假设复句进行了全面细致的分类研究。假设复句用途十分广泛,可用于表示推理、评断、建议和质疑等。     

“既然p,就q”句质疑

“既然P，就q’句归属于推论因果复句，这已在语法学界达成了一种“共识”。一般认为，该复句前后两个分句间的关系是：偏句（既然p）提出某种理由或依据，正句（就q）由此而推出某种结论。与此同时，有些著作还指出这种复句与说明因果复句、假设复句之间有以下区别：（1）说明因果复句是以现有事实为结果，从结果出发去求原因，重在说明原因，原因和结果都是已经存在的。推论因果复句是以现有事实为原因，从原因出发去求结果，重在推导结果，原因是已经存在的，结果是预测性的。（2）假设复句的偏句和正句所说的事情都是没有实现的，推论…     

基于do算子的船舶风险干预及推理方法

针对船舶风险侧重于计算发生概率,其管控和干预效果难以评估及推理难题,提出了基于do算子的船舶风险干预及推理方法。首先利用先验知识建立因果关系网络;其次引入Leaky Noisy-Or假设和隐变量节点,建立基于结构性孪生因果网络模型;最后根据do算子干预进行反事实推理,利用引起故障的充分因和必要因来确定干预措施的有效性。实例分析表明,该方法可以有效衡量风险管控措施的有效性,判断干预的行为对危险源排序的影响,具有一定的稳定性和优越性。     

基于集对分析的同异反定量推理路径的选择

基于集对分析的同异反定量推理已在学生成绩推算中得到应用，现以学生成绩推算为背景，讨论基于集对分析的同异反定量推理的路径选择，给出其一般规则和步骤，并举例说明其应用。     

刀片槽型专家系统不精确推理的实现

针对切削加工过程中切屑折断随机性较大，切屑折断过程所获得的知识带有不恶性循环 或不精确性这一特点，在刀片槽型专家系统ＤＰＣＸＥＳ－１中，利用专家系统开发工具ＯＰＳ８３所提供的数学模型，实现了不精确推理，并设计了带有可信度的事实和规则的表，不精确推理冲突消解策略和记忆推理链，相同事实的可信度归一。     

论实质法律推理对司法的意义

司法推理是法官在具体的案件中,通过适用法律,认定案件事实,进行综合考虑,从而得出司法判决的过程。其中包括多种推理形式,如形式推理和实质推理等。纯粹的形式法律推理具有很多缺陷,在实践中,司法活动为谋求法律效果、政治效果和社会效果的统一,实质法律推理备受司法者的重视。司法的实践理性、司法的不确定性,决定了实质法律推理的核心地位。     

事实、规范与价值——法律推理体系重心定位

法律推理常处于一个由外部推理和内部推理织就的复杂网络中。法律推理作为一种有目的的实践活动,必须以法律事实为逻辑起点、以法律规范为准则、以法律价值为衡平,要求具备客观性、可预见性和一致性。法律事实认定、法律规范识别、法律价值论证是一个系统化的进程,价值原则始终作为主线贯串其中,不仅制约着推理体系的内在结构和逻辑关联,而且事关法律方法的活力与法治技术的发展。法律推理体系重心应定位于对案件事实的认定、对法律规范的选择以及在合法性与合理性张力下对法律价值的追寻。     

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

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

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

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

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

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

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

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

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

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

空间推理研究的方法学

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

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

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

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

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

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

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

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

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

A nonmonotonic linguistic certainty factor model

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