期刊文献+
共找到100篇文章
< 1 2 5 >
每页显示 20 50 100
采用模糊Petri网的形式化推理算法及其应用 被引量:66
1
作者 贾立新 薛钧义 茹峰 《西安交通大学学报》 EI CAS CSCD 北大核心 2003年第12期1263-1266,共4页
以模糊Petri网为工具,研究了多种约束条件下的人类知识和推理过程的表示方法.在此基础上,将模糊Petri网与矩阵运算相结合,给出了模糊推理过程的形式化推理算法.算法考虑了推理过程中的众多约束条件,包括命题在规则中的权重、变迁触发的... 以模糊Petri网为工具,研究了多种约束条件下的人类知识和推理过程的表示方法.在此基础上,将模糊Petri网与矩阵运算相结合,给出了模糊推理过程的形式化推理算法.算法考虑了推理过程中的众多约束条件,包括命题在规则中的权重、变迁触发的阈值、规则的可信度以及多结论规则等,将复杂的推理过程采用矩阵运算实现,充分利用了模糊Petri网的并行处理能力,使模糊推理过程更加简单、快速和易于实现. 展开更多
关键词 模糊PETRI网 知识表示 推理算法
在线阅读 下载PDF
多值因果图的推理算法研究 被引量:8
2
作者 樊兴华 张勤 +1 位作者 孙茂松 黄席樾 《计算机学报》 EI CSCD 北大核心 2003年第3期310-322,共13页
针对多值因果图存在的两个困难 :(1)不严格满足概率论 ;(2 )将其用于实际问题时 ,推理结果可能出现错误 ,提出了一种基于因果影响可能性分配的推理算法 .该算法将多值因果图的推理分成 3个阶段 ,首先对多值因果图进行补充定义 ,使多值... 针对多值因果图存在的两个困难 :(1)不严格满足概率论 ;(2 )将其用于实际问题时 ,推理结果可能出现错误 ,提出了一种基于因果影响可能性分配的推理算法 .该算法将多值因果图的推理分成 3个阶段 ,首先对多值因果图进行补充定义 ,使多值因果图能够兼容单值因果图 ;接着将多值因果图转化为单值因果图进行概率计算 ;最后对多值因果图进行可能性计算 ,将单值因果图计算得到的概率按多值因果图计算得到的可能性进行分配 .以核电站二回路系统中蒸汽发生器故障诊断因果图为例 ,展示了该算法推理计算的全过程 .实例表明 ,该算法能够有效地克服多值因果图存在的困难 ,其推理过程严谨 ,计算结果符合实际情况 .在前面提出的推理算法基础上 ,针对其不能处理模糊情况的局限性 ,提出了一种模糊推理算法 .该算法对多值因果图进行了模糊扩展定义 ,在读数变量和事件变量之间建立了用于表达模糊知识的模糊对应关系 ,在事件变量上定义了一个等价的虚拟模糊状态 ,使读数变量取值对应一个模糊状态 ,把读数的模糊推理转化为对应模糊状态的非模糊推理 .通过本文的工作 。 展开更多
关键词 不确定性推理 多值因果图 可能性分配 推理算法 模糊知识表达 信度网 人工智能
在线阅读 下载PDF
信度网近似推理算法(上) 被引量:7
3
作者 刘启元 张聪 沈一栋 《计算机科学》 CSCD 北大核心 2001年第1期70-73,88,共5页
信度网提供了一套强有力的图形工具来表达基于概率的领域知识,并且已经成功地应用在诸多实际问题中,如:故障诊断、预测、模式识别、数据挖掘等.目前基于信度网提出了多种推理算法以精确计算待求概率值[2,4,12,19,21~23,26,30].这些算... 信度网提供了一套强有力的图形工具来表达基于概率的领域知识,并且已经成功地应用在诸多实际问题中,如:故障诊断、预测、模式识别、数据挖掘等.目前基于信度网提出了多种推理算法以精确计算待求概率值[2,4,12,19,21~23,26,30].这些算法在某些信度网上具有很高的推理效率,但是在最坏情况下这些算法的计算时间复杂度都是NP-难的. 展开更多
关键词 人工智能 信度网 近似推理算法 概率值 失败概率 概率分布
在线阅读 下载PDF
一种新的Petri网推理算法在贫血诊断中的应用 被引量:6
4
作者 谭旭 谭泓 陈英武 《计算机工程与应用》 CSCD 北大核心 2006年第11期222-224,共3页
针对贫血诊断的特点,将Petri网模糊化为模糊Petri网。提出了一种全新的模糊诊断推理机制。先采用逆向搜索策略对初始模糊Petri网进行约简,以减小推理网络的规模,加快推理速度;之后利用融合了极大代数运算的不确定性并行推理算法,确保较... 针对贫血诊断的特点,将Petri网模糊化为模糊Petri网。提出了一种全新的模糊诊断推理机制。先采用逆向搜索策略对初始模糊Petri网进行约简,以减小推理网络的规模,加快推理速度;之后利用融合了极大代数运算的不确定性并行推理算法,确保较准确地推断出结果。最后,给出了一个实际贫血诊断算例。 展开更多
关键词 模糊Petri 网模糊推理算法 逆向搜索 极大代数运算 贫血诊断
在线阅读 下载PDF
格值命题逻辑系统L9P(X)中的自动推理算法 被引量:5
5
作者 李晓冰 邱小平 徐扬 《计算机工程与应用》 CSCD 北大核心 2008年第10期6-9,共4页
给出了格值命题逻辑系统L9P(X)上的放缩原理和放缩归结原理,基于放缩归结原理,给出了一种判断L9P(X)上子句集S为M-可满足的自动推理算法(这里M为L9上的中界元),并证明了其可靠性和完备性。
关键词 中界元 格值命题逻辑系统 归结自动推理 放缩归结原理 自动推理算法
在线阅读 下载PDF
基于PDA的知识库与数据库集成和通用推理算法 被引量:4
6
作者 欧阳建权 钱跃良 +1 位作者 李锦涛 刘任任 《计算机科学》 CSCD 北大核心 2002年第2期120-121,共2页
由于关系数据库与传统的演绎推理都基于相同的数学背景,即一阶谓词逻辑,关系数据库的数据检索(关系演算)事实上都可以看成逻辑演算的一种特例,因此有人进行基于PC的知识库与数据库集成的研究[2-4],如将基于关系数据库的管理系统扩充为... 由于关系数据库与传统的演绎推理都基于相同的数学背景,即一阶谓词逻辑,关系数据库的数据检索(关系演算)事实上都可以看成逻辑演算的一种特例,因此有人进行基于PC的知识库与数据库集成的研究[2-4],如将基于关系数据库的管理系统扩充为演绎推理等,但是这些处理都较复杂,如带回溯的搜索就很难在PDA上实现. 展开更多
关键词 PDA 知识库 数据库 集成 通用推理算法 关系数据库 演绎推理 农业专家系统
在线阅读 下载PDF
基于模糊认知图的文本分类推理算法 被引量:4
7
作者 张桂芸 刘洋 王元元 《计算机工程与应用》 CSCD 北大核心 2007年第12期155-158,共4页
文本分类是信息处理的重要研究方向,现在应用较多的是基于统计计算的分类方法。介绍了利用模糊认知图的文本分类推理理论与算法,该方法是基于数值推理的,实现将统计与规则融合推理,灵活性较大,不需要语料的多次训练,适合于训练不充分和... 文本分类是信息处理的重要研究方向,现在应用较多的是基于统计计算的分类方法。介绍了利用模糊认知图的文本分类推理理论与算法,该方法是基于数值推理的,实现将统计与规则融合推理,灵活性较大,不需要语料的多次训练,适合于训练不充分和新主题的文本分类和多类分类,并具有一定的鲁棒性。 展开更多
关键词 文本分类 模糊认知图 推理算法
在线阅读 下载PDF
多Agent动态影响图的一种混合近似推理算法 被引量:2
8
作者 姚宏亮 王秀芳 +2 位作者 胡大伟 王浩 茆美琴 《计算机研究与发展》 EI CSCD 北大核心 2011年第4期584-591,共8页
多Agent动态影响图模型适合于对动态环境中多Agent问题进行建模,Agent之间结构关系被表示成局部的概率因式形式.概率图模型推理所面临的一个主要问题是难以实现近似推理的精度和复杂性之间的均衡.近似推理方法可提高推理精度,但同时也... 多Agent动态影响图模型适合于对动态环境中多Agent问题进行建模,Agent之间结构关系被表示成局部的概率因式形式.概率图模型推理所面临的一个主要问题是难以实现近似推理的精度和复杂性之间的均衡.近似推理方法可提高推理精度,但同时也会带来推理精度的损失.BK和粒子滤波(PF)是动态概率模型两种重要的近似推理算法,BK算法有较高的计算效率但会引入较大的误差,PF可以近似任意分布但存在计算的高维问题.结合BK和PF的优点,提出多Agent动态影响图(MADIDs)的一种混合近似推理算法.根据概率图模型的可分解性,将MADIDs分解生成用于推理的原型联合树,混合近似推理算法在规模复杂度较小的团上执行PF推理以达到局部最佳估计,而在其他的团上执行BK推理,为了减小推理误差引入了分割团.仿真实验表明混合近似推理算法是MADIDs模型的一种有效推理方法,与BK和PF算法相比,该算法显著提高了推理精度,且可以实现推理精度和时间复杂性之间的均衡. 展开更多
关键词 BK算法 粒子滤波 多AGENT动态影响图 联合树 混合近似推理算法
在线阅读 下载PDF
贝叶斯网络推理算法的研究和实现 被引量:7
9
作者 胡卫华 朱永利 《华北电力大学学报(自然科学版)》 CAS 北大核心 2004年第5期63-65,共3页
针对桶消元推理算法提出并行计算的改进方案,并构建网络实验平台以用于研究中的理论验证及应用开发。实验表明,改进后的算法确实可以提高原算法的计算速度。
关键词 推理算法 贝叶斯网络 计算速度 并行计算 验证 平台 应用开发 高原 研究 实验
在线阅读 下载PDF
基于计算型模糊推理算法的模糊控制器设计 被引量:5
10
作者 李战明 张永江 《计算机工程与应用》 CSCD 2014年第14期259-264,共6页
针对传统模糊推理算法在推理过程中容易忽略部分推理信息,模糊规则一旦确定就难以调整的缺点,提出一种基于数值计算的模糊推理算法。算法采用数值计算的方法对推理过程进行了改进,这种改进能够充分考虑所有输入的影响,又能根据输入的变... 针对传统模糊推理算法在推理过程中容易忽略部分推理信息,模糊规则一旦确定就难以调整的缺点,提出一种基于数值计算的模糊推理算法。算法采用数值计算的方法对推理过程进行了改进,这种改进能够充分考虑所有输入的影响,又能根据输入的变化,对模糊规则进行适当的调整。基于该算法的模糊控制器能够大大提高控制性能和精度,减小稳态误差。通过对直流电动机的仿真控制效果表明,该控制器比传统模糊控制器的控制性能好,精度高,抗干扰能力强。 展开更多
关键词 模糊推理算法 模糊控制器 推理性能
在线阅读 下载PDF
多值因果图的一种推理算法 被引量:2
11
作者 樊兴华 张勤 黄席樾 《计算机工程与应用》 CSCD 北大核心 2002年第3期68-73,共6页
该文针对多值因果图存在的两个困难:不严格满足概率论;将其用于实际问题时,推理结果可能出现错误。提出了一种基于因果影响可能性分配的推理算法。该算法对多值因果图进行了补充定义,使多值因果图能够兼容单值因果图;定义了事件变量状... 该文针对多值因果图存在的两个困难:不严格满足概率论;将其用于实际问题时,推理结果可能出现错误。提出了一种基于因果影响可能性分配的推理算法。该算法对多值因果图进行了补充定义,使多值因果图能够兼容单值因果图;定义了事件变量状态可能性,及其精确计算方法和近似计算方法;给出了将多值因果图转化为单值因果图的方法和步骤,并推导了相应的计算公式;给出了收到证据后,感兴趣变量状态的后验概率计算方法。以核电站二回路系统中蒸汽发生器故障诊断因果图为例,展示了该算法推理计算的全过程。实例表明,该算法能够有效地克服多值因果图存在的困难,其推理过程严谨,计算结果符合实际情况。 展开更多
关键词 不确定性推理 多值因果图 可能性分配 推理算法 知识库 计算机
在线阅读 下载PDF
信度网近似推理算法(下) 被引量:2
12
作者 刘启元 张聪 沈一栋 《计算机科学》 CSCD 北大核心 2001年第2期111-114,共4页
2 仿真方法[14] 基于信度网的精确推理算法通过利用各节点之间的条件独立性来加快推理计算,前面介绍的基于搜索的方法则不仅利用节点间的条件独立性而且利用概率分布的一些特性进行近似计算,但是在很复杂的问题领域要想通过分析条件独... 2 仿真方法[14] 基于信度网的精确推理算法通过利用各节点之间的条件独立性来加快推理计算,前面介绍的基于搜索的方法则不仅利用节点间的条件独立性而且利用概率分布的一些特性进行近似计算,但是在很复杂的问题领域要想通过分析条件独立性和利用概率分布的特征来加速推理计算往往不太现实.基于仿真的方法则另辟蹊径,既不利用条件独立性,也不考虑概率分布的特征,而是通过对样本进行统计以得到待求概率的近似值[9].根据概率论,当样本量趋近于无穷大的时候,样本的统计值将等于其概率值,但是当样本量越小的时候,样本的统计值与真实概率值差异的可能性越大,即:p(p-p*>ε)的值越大.其中p为对样本的统计值,P*为真实的概率值,ε为误差量(一个大于0的正数).随着样本量的增加,统计计算的结果就越精确.但是该精度的给定不象部分精确计算方法那样给一个误差边界,而只能给出一个概率边界.即样本量越大,其统计结果与真实结果的误差小于某误差限的可能性就越高. 展开更多
关键词 人工智能 信度网 近似推理算法 概率分布 随机变量
在线阅读 下载PDF
扩展结构包含推理算法的本体匹配 被引量:1
13
作者 廖建新 刘秀磊 +2 位作者 朱晓民 孙海峰 王敬宇 《通信学报》 EI CSCD 北大核心 2012年第8期190-199,共10页
为了匹配本体时直接分析构造器和公理中所蕴含的语义信息,提出一种扩展结构包含推理算法的本体匹配方法以解决该问题。首先将本体中实体重定向为范式,使得被蕴含的语义信息明显地表示,然后比较范式之间的句法结构以推理来自不同本体的... 为了匹配本体时直接分析构造器和公理中所蕴含的语义信息,提出一种扩展结构包含推理算法的本体匹配方法以解决该问题。首先将本体中实体重定向为范式,使得被蕴含的语义信息明显地表示,然后比较范式之间的句法结构以推理来自不同本体的实体间的匹配。针对一组工业本体的测试结果表明该方法具有较好的性能。 展开更多
关键词 语义分析 本体匹配 结构包含推理算法
在线阅读 下载PDF
模糊推理算法的数学原理 被引量:15
14
作者 潘正华 《计算机研究与发展》 EI CSCD 北大核心 2008年第z1期165-168,共4页
模糊推理算法在自动控制等领域不断得到成功应用,但其理论基础却是贫弱的.从数学与逻辑的角度对模糊推理算法的基础进行研究分析,提出并证明了3个定理.结果表明在各种模糊推理模式中,前提与结论之间存在一个数学关系(有界实函数),模糊... 模糊推理算法在自动控制等领域不断得到成功应用,但其理论基础却是贫弱的.从数学与逻辑的角度对模糊推理算法的基础进行研究分析,提出并证明了3个定理.结果表明在各种模糊推理模式中,前提与结论之间存在一个数学关系(有界实函数),模糊推理的各种算法都是这一函数的不同构造形式.所以,模糊推理的算法其基础是可靠的. 展开更多
关键词 模糊推理 推理算法 模糊假言推理 CRI算法 3I算法
在线阅读 下载PDF
D3L(ccy)的属性及分布式Tableaux推理算法的研究 被引量:1
15
作者 赵晓非 田东平 +1 位作者 张文波 史忠植 《计算机研究与发展》 EI CSCD 北大核心 2014年第3期570-579,共10页
分步式动态描述逻辑(distributed dynamic description logics,D3L)很好地实现了在多个自治本体之间导入和重用知识的思想.在多个动态描述逻辑(dynamic description logics,DDL)本体之间桥规则构成链的情况下,知识并不总是按预期的方式... 分步式动态描述逻辑(distributed dynamic description logics,D3L)很好地实现了在多个自治本体之间导入和重用知识的思想.在多个动态描述逻辑(dynamic description logics,DDL)本体之间桥规则构成链的情况下,知识并不总是按预期的方式正确传播.借鉴了基于包的描述逻辑(P-DL)的思想,引入了组合一致性语义对D3L进行了扩展从而很好地解决了上述问题.系统地研究了扩展得到的描述逻辑D3L(ccy)的属性及分布式推理理论.证明了该描述逻辑的单调性(D3L(ccy)是一种单调逻辑)、有向性(桥规则的影响具有方向性)及冲突局部性(局部本体的冲突不会传播到整个分布式系统);通过对原有Tableaux推理算法的扩展,为D3L(ccy)提出了分布式Tableaux推理算法并研究了算法的性质,证明了该算法是可终止的、可靠的和完备的.与传统的D3L相比,扩展后的D3L可以为信息集成系统、语义Web等分布式、动态的系统提供更为合理的逻辑基础. 展开更多
关键词 分布式动态描述逻辑 知识传播 组合一致性 分布式推理 Tableaux推理算法 DISTRIBUTED DYNAMIC DESCRIPTION LOGICS (D3L)
在线阅读 下载PDF
特征识别中的不确定性推理算法研究 被引量:1
16
作者 韩水华 卢正鼎 陈传波 《计算机工程与应用》 CSCD 北大核心 2001年第3期60-61,共2页
介绍了一种智能特征识别器,它能利用零部件已有的几何、公差、属性以及设计特征等信息,自动生成相应的特征模型解析,特征识别机利用了一种基于线索的方法,并采纳了人工智能的技术,如黑板结构及不确定性推理方法,以达到几何完整性... 介绍了一种智能特征识别器,它能利用零部件已有的几何、公差、属性以及设计特征等信息,自动生成相应的特征模型解析,特征识别机利用了一种基于线索的方法,并采纳了人工智能的技术,如黑板结构及不确定性推理方法,以达到几何完整性的推导。 展开更多
关键词 工艺规划系统 特征识别 不确定性推理算法 CAPP
在线阅读 下载PDF
基于经典-模糊变精度概念格的决策规则获取及其推理算法 被引量:5
17
作者 仇国芳 朱朝晖 《计算机科学》 CSCD 北大核心 2009年第12期216-218,共3页
在模糊形式背景上引入了4种经典-模糊变精度概念,形成4种变精度概念格,在此基础上得到4种决策规则集。利用包含度构建不同决策规则集中的推理算法,进而得到所有对象组合的决策规则。证明了由决策规则得到的决策集分别是必然性与可能性... 在模糊形式背景上引入了4种经典-模糊变精度概念,形成4种变精度概念格,在此基础上得到4种决策规则集。利用包含度构建不同决策规则集中的推理算法,进而得到所有对象组合的决策规则。证明了由决策规则得到的决策集分别是必然性与可能性决策集,且推理算法具有协调性和相容性。 展开更多
关键词 变精度概念格 决策规则 推理算法 包含度
在线阅读 下载PDF
带时间延迟的因果图迭代推理算法研究 被引量:1
18
作者 梁新元 石庆喜 《系统工程与电子技术》 EI CSCD 北大核心 2009年第2期278-282,共5页
针对因果图的时间延迟问题,提出了带时间延迟的因果图推理算法。首先给出因果图迭代推理的初步分析和概念,然后通过哑节点使连接强度保持值不变,提出了时间延迟转换的方法。在此基础提出了一种带时间延迟的因果图迭代推理算法,并分析了... 针对因果图的时间延迟问题,提出了带时间延迟的因果图推理算法。首先给出因果图迭代推理的初步分析和概念,然后通过哑节点使连接强度保持值不变,提出了时间延迟转换的方法。在此基础提出了一种带时间延迟的因果图迭代推理算法,并分析了算法的时间复杂度。该算法只需要通过矩阵乘法运算,就可以在多项式时间复杂度内实现推理,是一种高效的近似推理算法。最后,用实例展示了该算法推理效果。研究表明,在有时间延迟的情况下,该算法能够有效地实现动态推理,其推理过程严谨,结果符合实际情况。 展开更多
关键词 人工智能 因果图 迭代推理算法 时间延迟
在线阅读 下载PDF
一种改进的基于规则的带权模糊推理算法 被引量:1
19
作者 张稳 张桂戌 《计算机工程》 CAS CSCD 北大核心 2007年第7期15-17,共3页
给出了一种基于带权模糊Petri网的模糊推理算法,这种算法可以适用于一类基于规则的系统,即可以对该类系统的带权模糊Petri网模型进行相应的处理。对系统建立了知识表示的带权模糊Petri网模型,使用该算法可以确定用户给定的库所之间是否... 给出了一种基于带权模糊Petri网的模糊推理算法,这种算法可以适用于一类基于规则的系统,即可以对该类系统的带权模糊Petri网模型进行相应的处理。对系统建立了知识表示的带权模糊Petri网模型,使用该算法可以确定用户给定的库所之间是否存在联系,即相应的命题之间是否存在因果关系,可以计算出命题的模糊真值。对具体的算例进行了分析并与已有的算法进行了比较,得出该算法的优点。 展开更多
关键词 带权模糊Petri网 模糊推理算法 知识表示 基于规则
在线阅读 下载PDF
单元化单隐变量变结构DDBN推理算法 被引量:1
20
作者 陈海洋 毛蕊蕊 聂弘颖 《计算机工程与应用》 CSCD 北大核心 2015年第17期128-133,187,共7页
变结构动态贝叶斯网络(DBN)描述的是一个非稳态随机过程,是一种更灵活、更有效的动态网络。为了克服现有变结构DBN的推理算法不能实现在线推理的缺陷,提出了一种近似在线推理算法——单元化单隐变量变结构离散DBN(DDBN)推理算法。在定... 变结构动态贝叶斯网络(DBN)描述的是一个非稳态随机过程,是一种更灵活、更有效的动态网络。为了克服现有变结构DBN的推理算法不能实现在线推理的缺陷,提出了一种近似在线推理算法——单元化单隐变量变结构离散DBN(DDBN)推理算法。在定义了单隐变量变结构离散动态贝叶斯模型和单元的基础上,提出了算法的基本思想,并从理论上对算法进行了推导。仿真实验验证了该算法的正确性和有效性。 展开更多
关键词 信息传播 变结构离散动态贝叶斯网络 近似推理算法 不确定性
在线阅读 下载PDF
上一页 1 2 5 下一页 到第
使用帮助 返回顶部