期刊文献+
共找到251篇文章
< 1 2 13 >
每页显示 20 50 100
粗糙逻辑中公式的一种新的粗糙概率真度 预览
1
作者 左卫兵 李慧慧 钱莉 《电子学报》 EI CAS CSCD 北大核心 2019年第5期1174-1179,共6页
本文以任意预粗糙代数为赋值格的粗糙逻辑为研究对象,基于格赋值理论,通过在预粗糙代数赋值格和全体公式集上分别建立概率测度,利用积分方法提出了粗糙逻辑中公式的一种新的粗糙概率真度.证明了粗糙概率真度的 MP规则、HS规则和交推理规... 本文以任意预粗糙代数为赋值格的粗糙逻辑为研究对象,基于格赋值理论,通过在预粗糙代数赋值格和全体公式集上分别建立概率测度,利用积分方法提出了粗糙逻辑中公式的一种新的粗糙概率真度.证明了粗糙概率真度的 MP规则、HS规则和交推理规则,同时引入了公式的精确度和粗糙度的概念.基于粗糙概率真度,提出公式间的9种粗糙相似度和伪距离,进而提出3种近似推理模式,研究了相关性质.将计量逻辑学中的相关理论推广到以预粗糙代数为赋值格的粗糙逻辑上,为基于粗糙概率真度的程度化推理提供了一种可能的框架. 展开更多
关键词 粗糙逻辑 预粗糙代数 粗糙概率真度 粗糙相似度 近似推理
在线阅读 下载PDF
基于相似匹配调整模糊关系的近似推理模式 预览
2
作者 黄伟铭 韩峻峰 +2 位作者 杨丽君 焦自权 张圆圆 《钦州学院学报》 2019年第3期19-24,共6页
在基于相似性的近似推理中,通过引入模糊集合之间的相似匹配方向作为模糊推理中相似性匹配的补充,可以更精确地描述模糊集合中隶属信息的变化趋势。在SMRR推理模式中,模糊关系的调整是通过给定事实与规则的相似匹配来实现的,这样,当输... 在基于相似性的近似推理中,通过引入模糊集合之间的相似匹配方向作为模糊推理中相似性匹配的补充,可以更精确地描述模糊集合中隶属信息的变化趋势。在SMRR推理模式中,模糊关系的调整是通过给定事实与规则的相似匹配来实现的,这样,当输入事实和规则前提发生的每一变化,包括扩大或缩小的改变,都可以反映在调整后的模糊关系中,从而解决了CRI的推理结果与实际情况不一致的问题,并且改进和完善了现有的基于相似度量的近似推理机制。 展开更多
关键词 近似推理 相似度量 匹配方向 关系调整与构造 流量控制
在线阅读 下载PDF
A computational framework for Karl Popper's logic of scientific discovery
3
作者 Wei LI Yuefei SUI 《中国科学:信息科学(英文版)》 SCIE EI CSCD 2018年第4期91-100,共10页
关键词 科学发现 计算框架 逻辑 卡尔 近似推理 可满足性 近似算法 修订
公式真度的Hamming距离表示形式与分解定理 预览
4
作者 于鹏 赵彬 《软件学报》 CSCD 北大核心 2018年第10期3091-3110,共20页
首先应用模糊集截集的方法,给出了多值逻辑系统匕中广义重言式的一个等价刻画,并利用模糊集间的标准Hammin距离,定义了公式间的Hamming距离、Hamming相似度与Hamming真度,给出了计量逻辑学基本概念的Hamming距离表示方法.然后给出... 首先应用模糊集截集的方法,给出了多值逻辑系统匕中广义重言式的一个等价刻画,并利用模糊集间的标准Hammin距离,定义了公式间的Hamming距离、Hamming相似度与Hamming真度,给出了计量逻辑学基本概念的Hamming距离表示方法.然后给出了计量逻辑学中公式真度的一个分解定理,这个定理指出在计量逻辑学中,任意一个公式的真度等于一些互不相容的公式的真度之和,而公式φ本身则逻辑等价于这些公式的并.最后应用所提方法定义了广义MP问题的三-I真度解,并讨论了三-I真度解的存在性问题。 展开更多
关键词 HAMMING距离 近似推理 计量逻辑学 相容理论 三-I真度解
在线阅读 下载PDF
公式与理论的最近距离和最远距离及在近似推理中的应用
5
作者 马巧云 吴洪博 《模糊系统与数学》 北大核心 2018年第1期177-181,共5页
本文引入了公式与有限理论之间的最近距离和最远距离,讨论了公式与有限理论之间的最近距离和最远距离的一些简单性质;得到了当有限理论Γ中有根A,且公式B满足一定条件时,公式B与理论Γ之间的最近距离就是ρ(A,B)。基于最近距离和最远... 本文引入了公式与有限理论之间的最近距离和最远距离,讨论了公式与有限理论之间的最近距离和最远距离的一些简单性质;得到了当有限理论Γ中有根A,且公式B满足一定条件时,公式B与理论Γ之间的最近距离就是ρ(A,B)。基于最近距离和最远距离,给出了逻辑系统L中的可能Γ-结论的定义,并讨论了逻辑系统L中相应的近似推理。 展开更多
关键词 有限理论 最近距离 最远距离 近似推理
多值逻辑中基于Camberra模糊距离的计量化方法 预览 被引量:1
6
作者 赵彬 于鹏 《电子学报》 CSCD 北大核心 2018年第10期2305-2315,共11页
本文以模糊集间的Camberra距离为工具,给出了多值ukasiewicz逻辑系统中公式间的Camberra-距离,Camberra-相似度与Camberra-真度的概念,讨论了Camberra-相似度与Camberra-真度的性质,证明了每一个公式φ的Camberra-真度都等于一些互不相... 本文以模糊集间的Camberra距离为工具,给出了多值ukasiewicz逻辑系统中公式间的Camberra-距离,Camberra-相似度与Camberra-真度的概念,讨论了Camberra-相似度与Camberra-真度的性质,证明了每一个公式φ的Camberra-真度都等于一些互不相容的公式的Camberra-真度之和.然后以Camberra-真度为依托,研究了ukasiewicz逻辑度量空间的一些性质,证明了三值ukasiewicz逻辑度量空间没有孤立点,以及每一个球形领域都是不相容理论等结论.为在公式集F(S)上展开程度化推理提供了一种新的方法. 展开更多
关键词 计量逻辑学 Camberra模糊距离 近似推理 相容理论
在线阅读 下载PDF
计量逻辑学中的反射变换
7
作者 王庆平 《模糊系统与数学》 北大核心 2018年第6期33-40,共8页
首先在连续值l逻辑度量空间中,给出了公式集F(S)上的反射变换φ:F(S)→F(S)的概念,证明了该反射变换φ是F(S)上的自同构映射。其次证明了计量逻辑学中公式的真度,公式间的相似度与伪距离在反射变换下保持不变,而且证明了在反射变换下三... 首先在连续值l逻辑度量空间中,给出了公式集F(S)上的反射变换φ:F(S)→F(S)的概念,证明了该反射变换φ是F(S)上的自同构映射。其次证明了计量逻辑学中公式的真度,公式间的相似度与伪距离在反射变换下保持不变,而且证明了在反射变换下三种近似推理是等价的。最后,研究了反射变换φ的不动点的性质。 展开更多
关键词 计量逻辑学 反射变换 真度 近似推理 不动点
基于动态贝叶斯网络的意图分析算法 预览 被引量:2
8
作者 樊振华 师本慧 +1 位作者 陈金勇 段同乐 《无线电工程》 2017年第11期41-44,78共5页
传统的意图分析方法面临部分方法仅针对单个目标进行静态分析,以及精确推理耗费计算量过大的问题。针对上述问题,提出了一种新的基于动态贝叶斯网络的意图分析算法。该算法以群目标为对象,综合己方意图、交火程度、相对实力和相对速度... 传统的意图分析方法面临部分方法仅针对单个目标进行静态分析,以及精确推理耗费计算量过大的问题。针对上述问题,提出了一种新的基于动态贝叶斯网络的意图分析算法。该算法以群目标为对象,综合己方意图、交火程度、相对实力和相对速度等多种因素构建动态贝叶斯网络,并根据马尔可夫性实现快速近似推理,进一步通过融合估计得到对方的行动意图。仿真结果表明,该算法对复杂战场环境下群目标的行动意图能够实现动态可靠的评估,辅助支撑作战决策。 展开更多
关键词 意图分析 动态贝叶斯网络 近似推理
在线阅读 下载PDF
基于剩余格语义的格值逻辑系统的程度化方法 预览 被引量:1
9
作者 左卫兵 《电子学报》 CSCD 北大核心 2017年第8期1842-1848,共7页
基于剩余格的赋值态理论,通过在剩余格全体赋值态集和全体公式集上分别建立概率测度,利用积分方法提出了剩余格语义上公式的概率真度,进而在剩余格语义上建立了概率逻辑度量空间,将计量逻辑学中近似推理方法推广到剩余格语义上,为剩余... 基于剩余格的赋值态理论,通过在剩余格全体赋值态集和全体公式集上分别建立概率测度,利用积分方法提出了剩余格语义上公式的概率真度,进而在剩余格语义上建立了概率逻辑度量空间,将计量逻辑学中近似推理方法推广到剩余格语义上,为剩余格语义的概率计量化提供了一种可行的方法. 展开更多
关键词 剩余格 赋值态 概率真度 概率逻辑度量空间 近似推理
在线阅读 下载PDF
随机模糊环境下的命题逻辑真度理论 预览 被引量:2
10
作者 吴霞 张家录 《模式识别与人工智能》 CSCD 北大核心 2017年第4期289-301,共13页
在实单位区间[0,1]具有一定概率分布的基础上,引入命题逻辑公式的随机模糊意义下的真度概念,指出随机真度是已有文献中各种命题逻辑真度的共同推广.利用随机模糊真度定义公式间的随机模糊相似度,导出全体公式集上的一种伪距离——... 在实单位区间[0,1]具有一定概率分布的基础上,引入命题逻辑公式的随机模糊意义下的真度概念,指出随机真度是已有文献中各种命题逻辑真度的共同推广.利用随机模糊真度定义公式间的随机模糊相似度,导出全体公式集上的一种伪距离——随机模糊逻辑伪距离,证明在随机模糊逻辑伪距离空间无孤立点.利用概率论中的积分收敛定理,证明一个关于随机模糊真度的极限定理.研究已有各种真度之间的联系.证明随机逻辑伪距离空间中逻辑运算的连续性,并将概率逻辑学基本定理推广至多值命题逻辑.在随机逻辑伪距离空间中提出2种不同类型的近似推理模式并应用于实际问题的近似推理. 展开更多
关键词 命题逻辑 随机模糊真度 随机模糊相似度 逻辑伪距离空间 极限定理 近似推理
在线阅读 下载PDF
Goguen命题逻辑系统公理化扩张的k随机真度理论
11
作者 高晓莉 惠小静 朱乃调 《模糊系统与数学》 北大核心 2017年第3期6-15,共10页
通过对n值Goguen命题逻辑进行公理化扩张Goguen~,△(Ⅱ~,△)。利用赋值集随机化的方法,在Ⅱ~,△。中提出了公式的k随机真度,讨论了k随机真度的MP规则,HS规则,给出了公式间的k随机相似度与k随机伪度量的概念和性质。同时介绍了... 通过对n值Goguen命题逻辑进行公理化扩张Goguen~,△(Ⅱ~,△)。利用赋值集随机化的方法,在Ⅱ~,△。中提出了公式的k随机真度,讨论了k随机真度的MP规则,HS规则,给出了公式间的k随机相似度与k随机伪度量的概念和性质。同时介绍了三种近似推理模式并证明了三种推理模式之间的等价性。 展开更多
关键词 Goguen命题逻辑系统 k随机真度 k随机相似度 k随机伪度量 近似推理
Lukasiewicz模糊命题逻辑系统的计量化与近似推理 预览
12
作者 黎丽 《中国科技论文》 CAS 北大核心 2016年第5期586-590,共5页
为了在随机逻辑度量空间中展开近似推理理论研究,利用随机化方法,在Lukasiewicz模糊命题逻辑系统中,首先引入了命题公式的随机真度概念,进而引入了命题公式间的随机相似度以及随机伪距离的概念,从而建立了随机逻辑度量空间。在随机逻辑... 为了在随机逻辑度量空间中展开近似推理理论研究,利用随机化方法,在Lukasiewicz模糊命题逻辑系统中,首先引入了命题公式的随机真度概念,进而引入了命题公式间的随机相似度以及随机伪距离的概念,从而建立了随机逻辑度量空间。在随机逻辑度量空间中,提出3种不同类型的近似推理模式,并论证了这3种近似推理模式的等价性。结果表明:3种近似推理模式在随机逻辑度量空间中是等价的。 展开更多
关键词 模糊逻辑 随机真度 随机逻辑度量空间 近似推理
在线阅读 下载PDF
Gdel n值命题逻辑系统中命题公式的t真度及近似推理 预览
13
作者 朱乃调 惠小静 高晓莉 《计算机科学》 CSCD 北大核心 2016年第S2期97-102,共6页
通过增加两类算子和Δ对Gdel n值命题逻辑系统进行公理化扩张Gdel(,Δ),简记为G(,Δ)。在Gdel,Δ中提出了命题公式的t真度的定义(t任取,Δ),讨论了t真度的MP规则、HS规则、交推理规则、并推理规则以及它的一些相关性质;得... 通过增加两类算子和Δ对Gdel n值命题逻辑系统进行公理化扩张Gdel(,Δ),简记为G(,Δ)。在Gdel,Δ中提出了命题公式的t真度的定义(t任取,Δ),讨论了t真度的MP规则、HS规则、交推理规则、并推理规则以及它的一些相关性质;得到了命题公式间的t相似度和t伪距离的概念以及它们的一些相关性质;最后在t逻辑度量空间中提出了3种不同的近似推理模式,并证明了3种近似推理模式间的等价性。 展开更多
关键词 t真度 t相似度 t逻辑度量空间 近似推理
在线阅读 免费下载
一种基于改进的多值因果图的近似推理 预览 被引量:2
14
作者 刘绍红 王洪春 《重庆理工大学学报:自然科学版》 2016年第4期127-131,共5页
针对因果图的精确推理是NP难的,提出寻找近似的推理算法。根据以往文献中近似推理的原理,通过一种可能性比值,找到转化后的连接事件概率。该近似推理保证了多值因果图在推理过程中概率的归一性,最后用于实例得出的结果满足概率论知识且... 针对因果图的精确推理是NP难的,提出寻找近似的推理算法。根据以往文献中近似推理的原理,通过一种可能性比值,找到转化后的连接事件概率。该近似推理保证了多值因果图在推理过程中概率的归一性,最后用于实例得出的结果满足概率论知识且符合实际。 展开更多
关键词 因果图 归一性 近似推理
在线阅读 免费下载
模态逻辑系统S4中的度量结构
15
作者 龚加安 吴洪博 《山东大学学报:理学版》 CAS CSCD 北大核心 2016年第2期108-113,126共7页
在模态逻辑S4中通过有限模型建立了模态公式的(n)真度理论,研究了模态逻辑S4中命题的(n)真度的性质。提出了模态公式间的(n)相似度理论,并由此在全体公式集中,建立了(n)伪距离,得出了(n)模态逻辑S4的度量空间,该空间以经典逻... 在模态逻辑S4中通过有限模型建立了模态公式的(n)真度理论,研究了模态逻辑S4中命题的(n)真度的性质。提出了模态公式间的(n)相似度理论,并由此在全体公式集中,建立了(n)伪距离,得出了(n)模态逻辑S4的度量空间,该空间以经典逻辑度量空间为子空间,提出了一种模态逻辑S4中近似推理的框架。 展开更多
关键词 近似推理 模态逻辑 (n)真度
有效推理的真度关系与度量空间的近似推理 预览 被引量:1
16
作者 李修清 廖桂湘 《桂林航天工业学院学报》 2015年第3期386-391,共6页
在模糊命题逻辑系统中,运用命题公式的随机真度概念,给出了有效推理前提和结论的随机真度关系定理。运用随机真度关系定理,给出了命题公式间距离的定义,从而构建了随机逻辑度量空间,在该空间中提出了三种近似推理模式,讨论了这三种近似... 在模糊命题逻辑系统中,运用命题公式的随机真度概念,给出了有效推理前提和结论的随机真度关系定理。运用随机真度关系定理,给出了命题公式间距离的定义,从而构建了随机逻辑度量空间,在该空间中提出了三种近似推理模式,讨论了这三种近似推理模式的关系,从而实现了模糊命题逻辑系统的计量化。 展开更多
关键词 随机真度 有效推理 必要度 度量空间 近似推理
在线阅读 下载PDF
随机模糊环境下基于概念的近似推理方法 预览
17
作者 吴霞 张家录 《湘南学院学报》 2015年第5期1-4,共4页
探讨随机模糊环境下基于概念的近似推理模式,分析正态随机模糊集的三个数字特征,提出随机模糊环境下基于概念的两个近似推理规则,并给出例子来说明推理规则的应用.
关键词 随机模糊集 正态随机模糊集 概率密度函数 近似推理
在线阅读 下载PDF
一种快速DSmT-DS近似推理融合方法 预览 被引量:12
18
作者 郭强 何友 李新德 《电子与信息学报》 EI CSCD 北大核心 2015年第9期2040-2046,共7页
该文对Dempster-Shafer(DS)理论以及Dezert-Smarandache理论(DSm T)进行了深入研究,为了能够在仅需较低计算复杂度的前提下得到更加精确的融合结果,提出一种新的快速DSm T-DS近似推理融合方法。该方法针对超幂集空间仅单子焦元具有... 该文对Dempster-Shafer(DS)理论以及Dezert-Smarandache理论(DSm T)进行了深入研究,为了能够在仅需较低计算复杂度的前提下得到更加精确的融合结果,提出一种新的快速DSm T-DS近似推理融合方法。该方法针对超幂集空间仅单子焦元具有信度赋值的情况,将超幂集空间拆分映射成元素为各单子焦元和其补集的二元集合的新的超幂集空间,并求出每个补集的信度赋值;再运用Dezert-Smarandache框架中的第5条比例冲突分配规则(DSm T+PCR5)在新的超幂集空间的二元集合子空间下对多证据源进行融合,得到各单子焦元的融合结果;然后通过归一化处理求得各单子焦元的信度赋值。通过理论分析得出该文方法的融合结果是介于Dezert-Smarandache框架中的第5条比例冲突分配规则(DSm T+PCR5)及Dempster-Shafer(DS)框架下的Dempster组合规则之间。该文方法在需要较低计算复杂度的前提下,可以得到优于Dempster组合规则的近似融合结果。最后通过多个角度与已有方法进行对比,验证了该文方法的优越性。 展开更多
关键词 信息融合 证据理论 DEZERT-SMARANDACHE理论 近似推理 拆分映射
在线阅读 免费下载
修正的n值Godel命题逻辑系统中公式的随机真度和近似推理
19
作者 李修清 《模糊系统与数学》 CSCD 北大核心 2015年第5期21-27,共7页
利用随机化方法,在修正的n值Gdel命题逻辑系统中引入命题公式的随机真度概念;引入命题公式间的随机相似度和随机伪距离概念,建立了随机逻辑度量空间;并在随机逻辑度量空间中提出了三种不同类型的近似推理模式,证明了这三种近似推理模... 利用随机化方法,在修正的n值Gdel命题逻辑系统中引入命题公式的随机真度概念;引入命题公式间的随机相似度和随机伪距离概念,建立了随机逻辑度量空间;并在随机逻辑度量空间中提出了三种不同类型的近似推理模式,证明了这三种近似推理模式的等价性。 展开更多
关键词 随机真度 随机伪距离 随机逻辑度量空间 近似推理
LDA语义理解研究 预览 被引量:1
20
作者 高阳 杨璐 +1 位作者 刘晓升 严建峰 《计算机科学》 CSCD 北大核心 2015年第8期279-282,304共5页
潜在狄利克雷分配(LDA)被广泛应用于文本的聚类.有效理解信息检索的查询和文本,被证明能提高信息检索的性能.其中吉布斯采样和置信传播是求解LDA模型的两种热门的近似推理算法.比较了两种近似推理算法在不同主题规模下对信息检索性能... 潜在狄利克雷分配(LDA)被广泛应用于文本的聚类.有效理解信息检索的查询和文本,被证明能提高信息检索的性能.其中吉布斯采样和置信传播是求解LDA模型的两种热门的近似推理算法.比较了两种近似推理算法在不同主题规模下对信息检索性能的影响,并比较了LDA对文本解释的两种不同方式,即用文档的主题分布来替换原查询和文本,以及用文档的单词重构来替换原查询和文本.实验结果表明,文档的主题解释以及吉布斯采样算法能够有效提高信息检索的性能. 展开更多
关键词 潜在狄利克雷分配 信息检索 近似推理 文本解释
在线阅读 免费下载
上一页 1 2 13 下一页 到第
使用帮助 返回顶部 意见反馈