证据理论在旋转机械综合故障诊断中应用

针对旋转机械故障诊断中在同一征兆域中很难区分多种故障的实际情况 ,研究利用其他征兆域的诊断信息 ,进行全局信息融合 ,从而获得更为准确的故障定位 .提出一种基于神经网络和 Dempster-Shafer证据理论的多参数综合诊断系统模型 ;在该模型中采用证据理论的组合规则进行局部和全局信息融合 。

不完全确定信息的群体语言指派问题的求解方法

针对决策者权重和准则权重为不完全确定信息且评价语言值确定或位于二个标准语言值之间甚至缺失的多准则指派问题,提出了一种求解方法。首先利用证据推理算法计算得到各候选人完成各任务的优劣程度属于各个语言评价等级的信任度,并据此利用二元语义的Δ函数及其函数Δ-1将其集成为群体在所有准则下的综合评价矩阵,然后结合决策者权重和准则权重的不完全确定信息等构建非线性混合整数规则模型,并利用粒子群算法与匈牙利算法联合进行求解。最后实例说明该方法的可行性和有效性。

设计综合与溯因推理

对工程设计创造性过程的精细刻画,有助于澄清设计方法的推理方略,推进工程设计方法论的研究。工程设计过程主要由设计综合、设计分析、设计评价这三个核心活动构成,其中设计综合主要涉及构思设计概念、寻找和发现问题解决方案,是最能凸显工程设计创造性特质的核心活动。文章运用认知科学中关于基于模型推理的论题,尝试给出拓展的溯因推理,用以解释设计者如何获得满足设计目的的设计概念,以及设计概念如何调适与选择的思维过程。这一拓展的溯因模型,可以为设计综合的创造性问题解决过程提供可能的常规架构,在工程设计创造性与结构性之间建立起可能的平衡。

人工智能法律系统:两个难题和一个悖论

人工智能法律系统研究的核心内容是法律推理模拟,这面临两个现实的技术性难题:一是证据推理模拟,在证据分析、社会知识库建构与概括选择等方面遇到困难;二是法律解释模拟,面临着解释的能动性与价值选择的困难。人工智能法律系统的研发目标旨在代替法官或制造机器人法官,但其应用的界限却是不能独立担任法官,这构成一个"旨在代替/不能代替"的悖论,需要在立法限制的同时,实施"人-机系统"解决方案。

人工智能法律系统的一种证据推理模型

证据推理模拟作为人工智能法律系统研究的一大难题,主要难在如何构建一种基于社会知识库的证据分析与归纳推理模型。这一难题的解决途径,本质上并不在于克服法律语言和人工智能语言之间存在的沟通障碍,而在于如何从认识论角度阐明人工智能法律系统的理论基础,从而阐明形式逻辑在形式与内涵上区分与统一的问题。本文在借鉴改良版图示法的基础上,运用人工智能领域概念图、类型化和推理结构等理论和方法,建构了一种人工智能证据推理模型,试图为基于复杂逻辑的简化图示法提供技术路径。本文指出,被一些学者误用的"证据链"概念,是对事实认定过程的一种浅层的表象式认知,事实认定本质上是一种证明链条或证据推理链条,而且,这种证据推理链条在结构上并不是简单的线性体,而是一种复杂的树状结构。