期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
三值命题逻辑系统中理论的随机发散度的分布 被引量:2
1
作者 张超权 李修清 《计算机工程与应用》 CSCD 北大核心 2017年第1期69-72,共4页
在三值命题逻辑系统的随机逻辑度量空间(F(S),ρ_p)中,指出理论的p-随机发散度是和随机三值分布序列p=(p_1,p_2,…)的具体取值密切相关的,证明了全体原子公式之集S的p-随机发散度随着三值分布序列p的不同取值可以充满整个(0,1]实数区间。
关键词 随机 随机逻辑量空间 随机发散度
在线阅读 下载PDF
二值逻辑系统中理论的随机发散度的分布 被引量:1
2
作者 袁凯峰 《计算机工程与应用》 CSCD 北大核心 2016年第12期49-52,共4页
在二值命题逻辑系统的随机逻辑度量空间(F(S),ρ_p)中提出理论的p-随机发散度概念,指出理论的p-随机发散度是和随机两点分布序列p=(p_1,p_2,…)的具体取值密切相关的,证明了全体原子公式集S的p-随机发散度随着两点分布序列p的不同取值... 在二值命题逻辑系统的随机逻辑度量空间(F(S),ρ_p)中提出理论的p-随机发散度概念,指出理论的p-随机发散度是和随机两点分布序列p=(p_1,p_2,…)的具体取值密切相关的,证明了全体原子公式集S的p-随机发散度随着两点分布序列p的不同取值可以充满整个实数(0,1]区间。 展开更多
关键词 随机 随机逻辑量空间 随机发散度
在线阅读 下载PDF
Goguen公理化扩张系统的Γ-k随机真度理论及性质
3
作者 惠小静 高晓莉 朱乃调 《电子学报》 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
上一页 1 下一页 到第
使用帮助 返回顶部