期刊文献+
共找到29篇文章
< 1 2 >
每页显示 20 50 100
n值R_(0)命题逻辑系统中公式的条件随机真度
1
作者 许倩 惠小静 南琼 《湖北大学学报(自然科学版)》 CAS 2024年第1期133-140,共8页
基于条件概率的思想和赋值集的随机化方法,在n值R_(0)命题系统中提出公式的条件随机真度,证明条件随机真度的MP规则和HS规则。其次,引入公式间的条件随机相似度和条件随机伪距离,建立条件随机逻辑度量空间,进一步给出在条件Γ下的近似... 基于条件概率的思想和赋值集的随机化方法,在n值R_(0)命题系统中提出公式的条件随机真度,证明条件随机真度的MP规则和HS规则。其次,引入公式间的条件随机相似度和条件随机伪距离,建立条件随机逻辑度量空间,进一步给出在条件Γ下的近似推理理论。 展开更多
关键词 条件随机真度 条件随机相似度 条件随机逻辑度量空间
下载PDF
Goguen公理化扩张系统的Γ-k随机真度理论及性质
2
作者 惠小静 高晓莉 朱乃调 《电子学报》 EI CAS CSCD 北大核心 2017年第11期2656-2662,共7页
本文首先对n值Goguen命题逻辑进行公理化扩张Goguen_(~,Δ),记为∏_(~,Δ).利用赋值集的随机化方法,给出公式在k(k取~或Δ)连接词下相对于局部有限理论Γ的Γ-k随机真度的定义;讨论了∏_(~,Δ)中Γ-k随机真度的MP规则、HS规则等相关性质... 本文首先对n值Goguen命题逻辑进行公理化扩张Goguen_(~,Δ),记为∏_(~,Δ).利用赋值集的随机化方法,给出公式在k(k取~或Δ)连接词下相对于局部有限理论Γ的Γ-k随机真度的定义;讨论了∏_(~,Δ)中Γ-k随机真度的MP规则、HS规则等相关性质;接着,在Γ-k中定义了两公式间的Γ-k随机相似度与Γ-k随机伪距离,得到了公式在连接词下相对于局部有限理论Γ的Γ-k随机相似度与Γ-k随机伪距离所具有的一些良好性质;最后,在∏_(~,Δ)中介绍了任意理论Γ相对于特定理论Γ_0的相对随机发散度和相对随机相容度概念,得到了相对随机发散度与相对随机相容度之间联系的关系式. 展开更多
关键词 Goguen命题逻辑系统 γ-k随机真度 γ-k随机相似度 γ-k随机伪距离 相对随机发散度 相对随机相容度
下载PDF
D-逻辑度量空间与近似推理 被引量:15
3
作者 惠小静 王国俊 《南京大学学报(数学半年刊)》 CAS 2007年第2期249-257,共9页
通过随机化赋值集的方法,在二值逻辑中提出了公式的D-随机真度概念,证明了全体公式的D-随机真度之集在[0,1]中没有孤立点;提出了D-逻辑伪距离和D-逻辑度量空间,证明了该空间中没有孤立点;指出当取均匀概率测度,且各概率测度均为1/2时,D... 通过随机化赋值集的方法,在二值逻辑中提出了公式的D-随机真度概念,证明了全体公式的D-随机真度之集在[0,1]中没有孤立点;提出了D-逻辑伪距离和D-逻辑度量空间,证明了该空间中没有孤立点;指出当取均匀概率测度,且各概率测度均为1/2时,D-随机真度就转化为计量逻辑学中的真度,同时两公式间的D-逻辑伪距离就转化为计量逻辑学中的伪距离,从而建立了更具一般性的随机逻辑度量空间;最后在D-逻辑度量空间中提出了3种不同类型的近似推理模式,并证明了这三种模式是等价的. 展开更多
关键词 D-随机化映射 D-随机真度 D-相似度 D-逻辑度量空间 近似 推理
下载PDF
Lukasiewicz n值命题逻辑中公式的条件随机真度 被引量:6
4
作者 娄妍 冯飞 左卫兵 《计算机工程与应用》 CSCD 2012年第33期63-67,共5页
基于条件概率的思想,利用赋值集的随机化方法,在Lukasiewicz n值命题逻辑系统中引入公式的条件随机真度,证明了条件随机真度的MP规则和HS规则。引入公式间的条件随机相似度和条件伪距离,建立了条件随机逻辑度量空间,推导出条件伪距离的... 基于条件概率的思想,利用赋值集的随机化方法,在Lukasiewicz n值命题逻辑系统中引入公式的条件随机真度,证明了条件随机真度的MP规则和HS规则。引入公式间的条件随机相似度和条件伪距离,建立了条件随机逻辑度量空间,推导出条件伪距离的若干性质,证明了条件随机逻辑度量空间中逻辑运算的连续性,初步研究了给定条件下的近似推理理论。 展开更多
关键词 条件随机真度 条件随机相似度 条件随机逻辑度量空间 近似推理
下载PDF
有限Boole语义的随机化 被引量:3
5
作者 左卫兵 叶晓枫 《兰州理工大学学报》 CAS 北大核心 2012年第1期143-148,共6页
基于B-赋值理论,利用赋值集的随机化方法,在以有限Boole代数为赋值格的命题逻辑中提出公式的B-随机真度,建立有限Boole语义中的随机逻辑度量空间.它是计量逻辑学和随机真度的相关理论在有限Boole语义理论上的推广.
关键词 有限Boole代数 B-赋值 B-随机真度 B-随机相似度 逻辑度量空间
下载PDF
随机模糊环境下的命题逻辑真度理论 被引量:3
6
作者 吴霞 张家录 《模式识别与人工智能》 EI CSCD 北大核心 2017年第4期289-301,共13页
在实单位区间[0,1]具有一定概率分布的基础上,引入命题逻辑公式的随机模糊意义下的真度概念,指出随机真度是已有文献中各种命题逻辑真度的共同推广.利用随机模糊真度定义公式间的随机模糊相似度,导出全体公式集上的一种伪距离——随机... 在实单位区间[0,1]具有一定概率分布的基础上,引入命题逻辑公式的随机模糊意义下的真度概念,指出随机真度是已有文献中各种命题逻辑真度的共同推广.利用随机模糊真度定义公式间的随机模糊相似度,导出全体公式集上的一种伪距离——随机模糊逻辑伪距离,证明在随机模糊逻辑伪距离空间无孤立点.利用概率论中的积分收敛定理,证明一个关于随机模糊真度的极限定理.研究已有各种真度之间的联系.证明随机逻辑伪距离空间中逻辑运算的连续性,并将概率逻辑学基本定理推广至多值命题逻辑.在随机逻辑伪距离空间中提出2种不同类型的近似推理模式并应用于实际问题的近似推理. 展开更多
关键词 命题逻辑 随机模糊真度 随机模糊相似度 逻辑伪距离空间 极限定理 近似推理
下载PDF
逻辑系统L_3中公式的随机真度及近似推理 被引量:9
7
作者 崔美华 《高校应用数学学报(A辑)》 CSCD 北大核心 2010年第4期496-502,共7页
利用赋值集的随机化方法,在三值Lukasiewicz命题逻辑系统中引入公式的随机真度,证明了随机真度的MP规则、HS规则及交推理规则;同时引入公式间的随机相似度和伪距离,建立了随机逻辑度量空间,推导出随机相似度的若干性质,证明了随机逻辑... 利用赋值集的随机化方法,在三值Lukasiewicz命题逻辑系统中引入公式的随机真度,证明了随机真度的MP规则、HS规则及交推理规则;同时引入公式间的随机相似度和伪距离,建立了随机逻辑度量空间,推导出随机相似度的若干性质,证明了随机逻辑度量空间中逻辑运算的连续性;并在随机逻辑度量空间中提出了三种不同类型的近似推理模式,证明了三种近似推理模式的等价性. 展开更多
关键词 随机真度 随机相似度 随机逻辑度量空间 近似推理
下载PDF
n值命题逻辑中的P-随机真度及近似推理 被引量:6
8
作者 左卫兵 《计算机工程与应用》 CSCD 北大核心 2009年第7期42-43,共2页
利用赋值集的随机化方法,在n值命题逻辑中提出了n值逻辑P-测度和公式的P-随机真度的概念,证明了全体公式的P-随机真度之集在[0,1]中没有孤立点;利用P-随机真度定义了公式间的P-相似度和P-逻辑伪距离,为n值命题逻辑在一般情形下的近似推... 利用赋值集的随机化方法,在n值命题逻辑中提出了n值逻辑P-测度和公式的P-随机真度的概念,证明了全体公式的P-随机真度之集在[0,1]中没有孤立点;利用P-随机真度定义了公式间的P-相似度和P-逻辑伪距离,为n值命题逻辑在一般情形下的近似推理理论提供了一种可能的框架。 展开更多
关键词 n值逻辑P-测度 P-真度 P-相似度 近似推理
下载PDF
二值逻辑的D-条件真度理论 被引量:4
9
作者 高香妮 王国俊 《云南师范大学学报(自然科学版)》 2009年第6期10-13,共4页
文章在二值命题逻辑中公式的D-随机真度和条件真度的基础上,在D-逻辑度量空间(F(S),ρD)提出了D-条件真度的概念,同时讨论了D-条件真度的有关性质,并引入了基于Γ的矛盾式与重言式的概念和公式A与B基于Γ逻辑等价的概念;进一步给出了公... 文章在二值命题逻辑中公式的D-随机真度和条件真度的基础上,在D-逻辑度量空间(F(S),ρD)提出了D-条件真度的概念,同时讨论了D-条件真度的有关性质,并引入了基于Γ的矛盾式与重言式的概念和公式A与B基于Γ逻辑等价的概念;进一步给出了公式间D-条件相似度和D-条件逻辑伪距离的概念,同时讨论了它们的性质。 展开更多
关键词 D-随机真度 D-条件真度 D-条件相似度 D-条件逻辑伪距离
下载PDF
命题逻辑的随机真度理论及其应用 被引量:1
10
作者 刘晓玲 张家录 《模式识别与人工智能》 EI CSCD 北大核心 2013年第3期231-241,共11页
引入命题逻辑公式的基于随机变量序列的随机真度概念,并说明其是已有文献中各种真度概念的共同一般化,证明全体公式的随机真度之集在[0,1]中没有孤立点.利用随机真度定义公式间的随机相似度,进而导出全体公式集上的一种伪距离——随机... 引入命题逻辑公式的基于随机变量序列的随机真度概念,并说明其是已有文献中各种真度概念的共同一般化,证明全体公式的随机真度之集在[0,1]中没有孤立点.利用随机真度定义公式间的随机相似度,进而导出全体公式集上的一种伪距离——随机逻辑伪距离,证明在随机逻辑伪距离空间没有孤立点.指出随机真度是已有文献中各种命题逻辑真度的共同推广.利用概率论中的积分收敛定理,证明一个关于真度的极限定理,该定理沟通了已有各种真度之间的联系.证明随机逻辑伪距离空间中逻辑运算的连续性,并将概率逻辑学基本定理推广到多值命题逻辑.在随机逻辑伪距离空间中提出两种不同类型的近似推理模式. 展开更多
关键词 命题逻辑 随机真度 随机相似度 随机逻辑伪距离空间 近似推理
下载PDF
二值命题逻辑中基于信息限制的随机真度 被引量:1
11
作者 亓正坤 丁洁玉 王廷明 《计算机工程与应用》 CSCD 2012年第22期51-53,57,共4页
以随机真度为基础,提出了二值命题逻辑中公式的在有限信息Γ限制下的随机真度概念。以此为基础定义了公式的Γ-限制随机相似度和Γ-限制随机伪距离,得到了在有限信息Γ限制下公式到理论结论集的Γ-限制随机伪距离的Γ-限制随机真度表示... 以随机真度为基础,提出了二值命题逻辑中公式的在有限信息Γ限制下的随机真度概念。以此为基础定义了公式的Γ-限制随机相似度和Γ-限制随机伪距离,得到了在有限信息Γ限制下公式到理论结论集的Γ-限制随机伪距离的Γ-限制随机真度表示式,为二值命题逻辑中基于有限信息限制的近似推理的随机化研究提供数值化工具。 展开更多
关键词 二值命题逻辑 信息 Γ-限制随机真度 Γ-限制随机相似度 Γ-限制随机伪距离
下载PDF
四值非全序逻辑系统中公式的条件随机真度 被引量:1
12
作者 左卫兵 原胜利 《四川师范大学学报(自然科学版)》 CAS CSCD 北大核心 2012年第6期791-795,共5页
基于条件概率的思想,利用赋值集的随机化方法,在四值非全序逻辑系统中引入公式的条件随机真度,证明了条件随机真度的MP规则和HS规则.引入公式间的条件随机相似度和条件伪距离,建立了条件随机逻辑度量空间,推导出条件伪距离的若干性质,... 基于条件概率的思想,利用赋值集的随机化方法,在四值非全序逻辑系统中引入公式的条件随机真度,证明了条件随机真度的MP规则和HS规则.引入公式间的条件随机相似度和条件伪距离,建立了条件随机逻辑度量空间,推导出条件伪距离的若干性质,证明了条件随机逻辑度量空间中逻辑运算的连续性,并初步研究了给定条件下的近似推理理论. 展开更多
关键词 非全序逻辑系统 条件随机真度 条件随机相似度 条件随机逻辑度量空间 近似推理
下载PDF
三值Gdel命题逻辑中基于前提信息的随机真度 被引量:1
13
作者 崔美华 徐罗山 《扬州大学学报(自然科学版)》 CAS CSCD 北大核心 2010年第2期1-5,共5页
利用赋值集的随机化方法,在三值Gdel命题逻辑系统中引入基于前提信息Γ公式的Γ-随机真度,证明了Γ-随机真度的MP规则、HS规则及交推理规则;同时引入公式间的Γ-随机相似度和Γ-随机伪距离,建立了Γ-随机逻辑度量空间,推导出Γ-随机... 利用赋值集的随机化方法,在三值Gdel命题逻辑系统中引入基于前提信息Γ公式的Γ-随机真度,证明了Γ-随机真度的MP规则、HS规则及交推理规则;同时引入公式间的Γ-随机相似度和Γ-随机伪距离,建立了Γ-随机逻辑度量空间,推导出Γ-随机相似度的若干性质;在Γ-随机逻辑度量空间中提出3种不同类型的近似推理模式并研究了它们之间的关系. 展开更多
关键词 三值Gdel逻辑系统 前提信息 Γ-随机真度 Γ-随机相似度 Γ-随机逻辑度量空间
下载PDF
逻辑系统L~*中公式的随机真度 被引量:1
14
作者 左卫兵 《郑州大学学报(理学版)》 CAS 北大核心 2012年第1期28-32,共5页
在赋值格为[0,1]的模糊逻辑系统L*中,利用序结构和赋值集的随机化方法提出了公式的随机真度,引入公式间的随机相似度和伪距离,导出随机真度和伪距离的若干性质,证明了随机逻辑度量空间中逻辑运算的连续性,拓宽了随机真度的近似推理理论... 在赋值格为[0,1]的模糊逻辑系统L*中,利用序结构和赋值集的随机化方法提出了公式的随机真度,引入公式间的随机相似度和伪距离,导出随机真度和伪距离的若干性质,证明了随机逻辑度量空间中逻辑运算的连续性,拓宽了随机真度的近似推理理论的研究思路. 展开更多
关键词 随机真度 随机相似度 伪距离 随机逻辑度量空间
下载PDF
三值乘积逻辑中公式的条件随机真度 被引量:1
15
作者 娄妍 左卫兵 谢蕾蕾 《华北水利水电学院学报》 2011年第3期142-145,共4页
基于条件概率的思想,利用赋值集的随机化方法,在三值乘积逻辑系统中引入公式的条件随机真度,证明了条件随机真度的MP规则和HS规则,引入公式间的条件相似度和条件伪距离,建立了条件逻辑度量空间,推导出条件伪距离的若干性质.
关键词 条件随机真度 条件相似度 条件伪距离 条件逻辑度量空间
下载PDF
逻辑系统G_3中命题的D3-随机真度理论
16
作者 左卫兵 程伟丽 孟永胜 《计算机工程与应用》 CSCD 北大核心 2011年第5期35-36,76,共3页
通过引入随机向量序列对赋值集进行随机化,在逻辑系统G3中提出了公式的D3-随机真度的概念,证明了全体公式的D3-随机真度之集在[0,1]中没有孤立点;提出了D3-相似度和D3-伪距离,证明了在D3-逻辑度量空间中没有孤立点;在D3-逻辑度量空间中... 通过引入随机向量序列对赋值集进行随机化,在逻辑系统G3中提出了公式的D3-随机真度的概念,证明了全体公式的D3-随机真度之集在[0,1]中没有孤立点;提出了D3-相似度和D3-伪距离,证明了在D3-逻辑度量空间中没有孤立点;在D3-逻辑度量空间中提出3种不同类型的近似推理模式;引入公式间的相容与独立的概念,研究了其关系。为进一步研究随机推理奠定了基础。 展开更多
关键词 随机向量序列 D3-随机真度 D3-相似度 近似推理 独立性
下载PDF
经典逻辑系统中的随机化再研究
17
作者 马巧云 吴洪博 《计算机科学与探索》 CSCD 北大核心 2017年第8期1354-1360,共7页
给出了经典命题逻辑系统中n元命题公式基于随机数列和随机映射的向量表示形式,利用命题公式的基于随机数列的向量表示形式给出公式的D-随机真度、公式间的D-随机相似度和D-随机伪距离的等价表示形式。说明了一个具体的n元经典命题公式... 给出了经典命题逻辑系统中n元命题公式基于随机数列和随机映射的向量表示形式,利用命题公式的基于随机数列的向量表示形式给出公式的D-随机真度、公式间的D-随机相似度和D-随机伪距离的等价表示形式。说明了一个具体的n元经典命题公式的D-随机真度最多只有22n种情况。利用命题公式间的D-随机相似度和D-随机伪距离的等价表示形式,给出了关于命题公式的D-随机真度、命题公式间的D-随机相似度和D-随机伪距离的一些性质的新的证明。 展开更多
关键词 经典命题逻辑系统 D-随机真度 D-随机相似度 D-随机伪距离
下载PDF
有限Boole语义中基于前提信息的随机真度
18
作者 左卫兵 《数学杂志》 CSCD 北大核心 2013年第3期493-500,共8页
本文研究了有限Boole语义中基于前提信息的随机化问题.利用赋值集的随机化方法,提出了公式的基于前提信息Γ的Γ-随机真度,得到了Γ-随机真度的MP规则,HS规则和交推理规则.通过引入公式间的Γ-随机相似度和Γ-伪距离,建立了Γ-随机逻辑... 本文研究了有限Boole语义中基于前提信息的随机化问题.利用赋值集的随机化方法,提出了公式的基于前提信息Γ的Γ-随机真度,得到了Γ-随机真度的MP规则,HS规则和交推理规则.通过引入公式间的Γ-随机相似度和Γ-伪距离,建立了Γ-随机逻辑度量空间,在有限Boole语义上推广了基于前提信息的近似推理理论. 展开更多
关键词 有限Boole语义 Γ-随机真度 Γ-随机相似度 Γ-随机逻辑度量空间 近似推理
下载PDF
n值逻辑系统中条件随机真度理论
19
作者 黎丽 《纯粹数学与应用数学》 CSCD 2014年第6期573-580,共8页
在n值命题逻辑系统中命题的随机真度、随机逻辑度量空间的基础上,给出了修正的n值G¨odel命题逻辑系统中命题的条件真度、条件相似度的概念并讨论了其性质,建立了条件随机逻辑度量空间.
关键词 随机真度 条件真度 条件相似度 条件逻辑度量空间
下载PDF
基于改进度中心性的样本点相似性度量方法
20
作者 邓莉 刘士虎 《云南民族大学学报(自然科学版)》 CAS 2022年第4期425-432,共8页
针对带权图数据中样本点的相似性度量问题,从图数据中样本点的属性信息和拓扑信息2个角度出发,提出了一种基于改进度中心性的样本点相似性度量方法.首先,该方法在充分研究了任意2个样本点拓扑信息可达的基础上,以改进度中心性指导随机... 针对带权图数据中样本点的相似性度量问题,从图数据中样本点的属性信息和拓扑信息2个角度出发,提出了一种基于改进度中心性的样本点相似性度量方法.首先,该方法在充分研究了任意2个样本点拓扑信息可达的基础上,以改进度中心性指导随机游走的方法,度量样本点基于拓扑信息的相似性.其次,考虑到传统欧式距离在度量相似性方面的不足,提出一种融合的度量方法来度量样本点基于属性信息的相似性,进而得出样本点间的综合相似性.最后,通过一个具体的算例来验证所提出方法的实用性和有效性. 展开更多
关键词 带权图数据 样本点 改进度中心性 随机游走 相似性度量
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部