形式规则、心理模型与概率理论——条件推理中三种理论模型的比较研究

条件推理是一种最简单的演绎推理。然而心理学家对于人们是如何进行条件推理一直存在三种不同的理论观点：形式规则、心理模型和概率理论。这些理论都能解释条件推理过程中的一些现象,但还存在一定的不足,本文将对这些理论进行详细的评述。     

公安情报的贝叶斯推理机制研究

文章系统阐述了公安情报分析中的贝叶斯推理机制的原理、方法、特点和局限性,给出了在刑侦实践中贝叶斯推理机制的操作与推演过程,并借助一个一般案例去简要、直观地展示了贝叶斯推理在公安情报实践应用中的具体操作步骤.     

采用模糊Petri网的形式化推理算法及其应用

以模糊Petri网为工具，研究了多种约束条件下的人类知识和推理过程的表示方法．在此基础上，将模糊Petri网与矩阵运算相结合，给出了模糊推理过程的形式化推理算法．算法考虑了推理过程中的众多约束条件，包括命题在规则中的权重、变迁触发的阈值、规则的可信度以及多结论规则等，将复杂的推理过程采用矩阵运算实现，充分利用了模糊Petri网的并行处理能力，使模糊推理过程更加简单、快速和易于实现。     

说明文阅读推理研究综述

阅读推理是指读者推测出语篇中没有明确呈现的事件、关系等过程,说明文阅读中的推理成为近年来学者们讨论的热点。本文从三个方面对说明文中的阅读推理的研究进行了总结、回顾和探讨:(1)读者在阅读说明文的过程中是否会产生推理;(2)说明文推理和记叙文推理的区别;(3)说明文阅读推理的影响因素。     

基于Vague集的近似推理方法

针对Vague集之间相似程度的度量方法存在的缺陷,给出了一种新的相似度量方法。同时,也提出了一种新的Vague集的交并运算规则,并用实例说明了基于这种相似度量的近似推理的推理过程,为智能系统中的近似推理提供了一个十分有用的工具。     

演绎推理新模式理论的实验检验

用14种演绎推理题作材料对108名大学生进行了测试,检验了Johson-Laird等人于1992年提出的新模式理论.这一理论认为.推理是一种基于心理模式的语义加工过程,因此一个推理过程所涉及的模式的数日越多,这个推理任务就越难.本研究结果表明.新模式理论有一定的正确性,模式是影响推理正确性的一个重要因素.但新模式理论个能解释本实验的所有结果.人们并非在所有场合下都用模式方法进行推理.推理的四种心理学理论从不同角度揭示了影响推理正确性的不同因素.     

认知语境推理对大学英语阅读教学的启示

语境在认知语用学中变为认知语境并出现认知语境推理的概念。本文作者从认知语境操作的基本单位,即知识草案和心理图示出发,着手研究其三个语用范畴和推理过程,从而论证认知语境推理与篇章理解的关系。作者在理论基础上借助实证研究,进而证实认知语境推理是否与篇章理解具有直接的关系,并就如何利用认知语境推理技能提高篇章理解能力提出建议。     

话语含意推导的心理模型分析——以隐喻为例

认知语言学为话语理解与生成研究提供了新的理论框架,认为心理模型的运用是人类进行语用推理的基本形式,在自然语言的意义建构和理解过程中起着至关重要的作用。本文在认知语言学的“基于心理模型的含意推理因果化模型”的理论框架内,通过分析语言运用中的隐喻话语意义建构和理解的机理,借此进一步证明该框架作为研究话语含意的生成与理解的理论工具的普遍性、可及性和解释力,并认为话语含意的生成与理解是人们对客观事物之间的常规关系（相邻／相似关系）的认知加工、心理建模的结果。     

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

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

基于智能技术的移动机器人路径规划方法概述

移动机器人路径规划是环境模型和搜索算法相结合的一种技术,规划过程既是搜索的过程,也是推理的过程。近几年人工智能中的很多优化推理技术也被运用到移动机器人路径规划中来,主要有模糊逻辑、神经网络、遗传算法和混合方法。     

模糊故障Petri网建模方法及其应用

为克服模糊Petri网和故障Petri网在模拟故障传播、诊断和推理过程中的不足,提出模糊故障Petri网的概念及其建模方法,分一因一果、一因多果、多因一果和竞争模式4种情况定义变迁发生的规则和后果,以此模拟系统的动态运行过程,反映故障传播的固有特性.将模糊故障Petri网的建模方法应用于故障推理与诊断,提出将正向推理和反向推理相结合,并给出相应的推理算法,用泵站机组压力不足的实例加以验证.研究结果表明:该方法既能模拟故障传播过程,又能进行模糊推理,实用性强.     

斜拉桥智能施工控制专家系统推理机设计

斜拉桥施工控制是斜拉桥施工过程中的关键技术问题.本文在以往桥梁施工控制专家系统研究的基础之上,讨论了斜拉桥智能施工控制专家系统的推理方式、控制策略、推理规则群;对斜拉桥智能施工控制专家系统中的推理机制进行了设计,具体包括推理性知识的预处理、推理预处理、正向推理方法、冲突消解策略方法.结果表明,设计达到了推理灵活、高效以及推理结果可靠的效果,可以基于它来构建智能斜拉桥施工控制专家系统.     

基于着色Petri 网(CPN)在案例推理(CBR)中的应用研究

案例推理（CBR）是人工智能的一种新求解方法,其中案例检索（case retrieval）是案例推理过程的一个重要环节。在CBR基础上引入了Petri网理论,建立了眼科疾病诊治基于案例推理的着色Petri网（CPN）模型,研究探讨了该模型在CBR系统的案例检索中的实际应用。     

假设检验的推理过程分析

讨论了数理统计中的假设检验问题.从问题的提出,推理的逻辑方法几方面,分析了假设检验问题的特点,得出假设检验中有定性因素与定量分析的相互作用,推理过程是归纳与演绎相结合的结论.提出这种方法也可为解决其他问题时所借鉴.     

语用过程中语法的动态认知

人们交际过程中离不开对语法结构的选择。语言交际中的语用推理过程实际上是人们在语境的参与下完成交际的心理认知过程。在分析认知语境概念的基础上运用认知语境理论对静态的语法的主要五个层面进行了动态的语用研究 ,认为认知语境对语法结构的选择及其隐性意义的确定起着动态的语用制约作用 ,具有很强的认知阐释力。     

烧结过程异常状况诊断专家系统SPADES(Ⅱ) --关键技术

知识库构造和推理机设计是实现专家系统的关键技术.烧结过程异常诊断的知识具有模糊性、不确定性与因果性强,定性知识与定量知识并存的特点.采用模糊逻辑表达烧结过程信息的模糊特性,研究了表达烧结过程异常诊断知识的综合型知识表达方式.知识库的组织包括数据库、事实库、模型库和规则库.规则库中的规则根据用途不同分组存放,同组规则按优先级别排序,这样的知识组织方式为实现高效快速推理奠定了基础;SPADES系统的知识库具有管理与维护功能,知识学习采用专家指导学习方式;烧结过程异常诊断专家系统的推理机采用多级目标推理的混合推理机总体目标推理采用过程化推理,按异常类型判断、异常原因分析、操作决策顺序进行;烧结过程异常状况的诊断采用模糊诊断确定假定异常集合,再通过反向推理验证假定异常集合中的元素,确定出现的异常类型;异常原因分析和操作决策采用正向推理.对于本系统中模糊规则的模糊性传递问题,采用基于确定因子法的不精确推理策略,以及基于模糊规则的模糊匹配方法.SPADES系统在生产现场的应用结果证明了本系统知识表达方式和推理机可以实现模糊知识的表达和高效推理.     

污水处理工艺系统的故障诊断专家系统

针对污水处理工艺过程所建造的故障诊断专家系统 ,讨论了对于单品种大批量连续生产类型工艺过程在故障诊断专家系统中的知识表达以及对于根据历史在线数据进行推理的诊断方法。     

污水处理工艺系统的故障诊断专家系统

针对污水处理工艺过程所建造的故障诊断专家系统,讨论了对于单品种大批量连续生产类型工艺过程在故障诊断专家系统中的知识表达以及对于根据历史在线数据进行推理的诊断方法。     

条件推理中前提顺序效应再探

为了进一步检验模型理论的观点并深入揭示条件推理的认知机制,以大学生为被试,探讨了交换推理的前提顺序以及推理内容对条件推理的影响,结果发现:交换条件推理的前提顺序的确不能促进MT推理,不支持心理模型观点.     

Z网络下新的推理算法在不确定决策中的应用

针对Z-number的模糊不确定性和概率不确定性推理,在Z网络模型的基础上对其推理算法上做出了一些改进.首先,在Z-number理论基础上对离散Z-number在if-then规则下进行最大熵方法处理的算法过程做出了一些改进,由于算法过程中优化模型获取的区间值概率随着给定数据的变化并不一定能满足最大熵方法中的约束条件,所以对这些区间值概率进行了优化.其次,基于Z网络的结构和概率推理过程,对利用Z网络获取区间值概率然后应用最大熵方法获得约束部分最可能的潜在概率分布过程作出了同样的改进.最后利用一个实例来说明改进后的方法的有效性和可行性.