真度理论

作品数：50被引量：165H指数：9
导出分析报告
相关领域：理学更多>>
相关作者：王国俊吴洪博惠小静李骏关晓红更多>>
相关机构：陕西师范大学兰州理工大学延安大学河南师范大学更多>>
相关期刊：《兰州理工大学学报》《延安大学学报（自然科学版）》《山西大学学报（自然科学版）》《系统科学与数学》更多>>
相关基金：国家自然科学基金陕西省自然科学基金河南省教育厅自然科学基金陕西省教育厅科研计划项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
模态逻辑公式的概率真度理论被引量：1
《宝鸡文理学院学报（自然科学版）》2022年第3期1-5,11,共6页李璧镜 
陕西省教育厅专项科研项目(14JK1050)。
目的在模态逻辑系统中寻找一种广泛通用的公式真度理论框架,成为各种系统中已有真度理论的高度抽象或推广。方法从逻辑语构角度出发,将某一逻辑公式在特定环境下为真的程度看作是一个概率值,给出此概率值应该满足的公理刻画,并且结合不...
关键词：模态逻辑 概率真度 相容 逻辑等价 
三值乘积逻辑系统中公式关于有限理论的Σ_(Γ)-真度理论被引量：1
《模糊系统与数学》2022年第2期1-5,共5页李顺琴 
国家自然科学基金资助项目(61763045);陕西省科技计划项目(2020JM-552)。
在三值乘积逻辑系统π;中,利用真度定义的均值表示形式给出了公式相对于有限理论Γ的Σ;-真度概念,并讨论了它的一些重要性质,丰富了真度理论的研究成果。
关键词：乘积逻辑 Σ -真度 有限理论 
多值逻辑系统L_(n)中公式相对于有限理论Г的Camberra-真度理论被引量：1
《模糊系统与数学》2021年第5期58-64,共7页于鸿丽 吴洪博 
国家自然科学基金资助项目(61572016)。
将模糊集间的Camberra距离引入到命题演算系统L_(n)中,定义了公式间相对于有限理论Г的Camberra-距离、Camberra-相似度与Camberra-真度,探讨了L_(n)中公式相对于有限理论Г的Camberra-真度的性质,为多值命题逻辑系统的研究及模糊推理...
关键词：Camberra模糊距离 Camberra-真度﹔有限理论 逻辑系统L_(n) 
增加两类算子的G■del n值命题逻辑系统的t随机真度理论
《模糊系统与数学》2019年第6期62-72,共11页朱乃调 惠小静 高晓莉 
国家自然科学基金资助项目(11471007);陕西省自然科学基金资助项目(2014JM1020);多专业融合应用型人才培养模式创新实验区项目;延安大学研究生创新基金资助项目(YCX201612)
通过对Godel n值命题逻辑系统进行公理化扩张Godel〜,△,简记为G〜,△,利用赋值集随机化的方法,在Godel〜,△中提出了命题公式的t随机真度的定义(t任取〜,△),研究了t随机真度的MP规则、HS规则、交推理规则和并推理规则以及它的一些相关性质...
关键词：t随机真度 t随机相似度 t随机逻辑度量空间 近似推理 
Goguen公理化扩张系统的Γ-k随机真度理论及性质
《电子学报》2017年第11期2656-2662,共7页惠小静 高晓莉 朱乃调 
国家自然科学基金(No.11471007);陕西省自然科学基金(No.2014JM1020);延安大学研究生创新基金(No.YCX201612)
本文首先对n值Goguen命题逻辑进行公理化扩张Goguen_(~,Δ),记为∏_(~,Δ).利用赋值集的随机化方法,给出公式在k(k取~或Δ)连接词下相对于局部有限理论Γ的Γ-k随机真度的定义;讨论了∏_(~,Δ)中Γ-k随机真度的MP规则、HS规则等相关性质...
关键词：Goguen命题逻辑系统 Γ-k随机真度 Γ-k随机相似度 Γ-k随机伪距离 相对随机发散度 相对随机相容度 
n值命题逻辑系统L_n~*中公式Γ-的绝对真度理论被引量：3
《贵州大学学报（自然科学版）》2017年第5期4-7,共4页李顺琴 王泽阳 
国家自然科学基金项目资助(11471007);陕西省科技计划项目资助(2014k15-03-07);2016年国家级大学生创新创业训练计划项目资助(201610719003)
在n值R_0-命题逻辑系统L_n~*中,给出公式关于有限理论的一个更为直观的Γ-绝对真度概念,讨论它的一些重要性质和推理规则,并利用Γ-绝对真度定义公式间的Γ-绝对相似度和伪距离。
关键词：R0-命题逻辑系统 Γ-绝对真度 Γ-绝对相似度 伪距离 
Goguen命题逻辑系统公理化扩张的Γ-k真度理论及性质
《软件学报》2017年第7期1629-1639,共11页高晓莉 惠小静 朱乃调 
国家自然科学基金(11471007);陕西省自然科学基金(2014JM1020);延安大学研究生创新基金资助项目(YCX201612)~~
首先对n值Goguen命题逻辑进行公理化扩张,Goguen_(~,△),记为,Ⅱ_(~,△)利用公式的诱导函数给出公式在k(k任取~或Δ)连接词下相对于局部有限理论Γ-k的Γ-k真度的定义;讨论了Ⅱ_(~,△)中Γ-k真度的MP规则、HS规则等相关性质;最后,在Ⅱ_...
关键词：Goguen命题逻辑系统 Γ-k真度 Γ-k相似度 Γ-k伪距离 
G?del n值命题逻辑系统的真度理论
《计算机工程与应用》2017年第11期67-72,共6页朱乃调 惠小静 高晓莉 高姣 
国家自然科学基金重点项目(No.11531009);国家自然科学基金(No.11471007);陕西省自然科学基金(No.2014JM1020);延安大学研究生创新基金
首先在G?del n值命题逻辑系统中添加了新的连接词Δ,～,给出了G?del n值命题逻辑系统中命题公式间的真度、相似度和伪距离的定义;讨论了在该系统下它们的一些相关性质,并给出了相应的证明。
关键词：Godeln命题逻辑系统 真度 相似度 伪距离 
Goguen命题逻辑系统公理化扩张的k随机真度理论
《模糊系统与数学》2017年第3期6-15,共10页高晓莉 惠小静 朱乃调 
国家自然科学基金资助项目(11471007);陕西省自然科学基金资助项目(2014JM1020);延安大学研究生创新基金资助项目(YCX2016126)
通过对n值Goguen命题逻辑进行公理化扩张Goguen~,Δ(Π~,Δ)。利用赋值集随机化的方法,在Π~,Δ中提出了公式的k随机真度,讨论了k随机真度的MP规则,HS规则,给出了公式间的k随机相似度与k随机伪度量的概念和性质。同时介绍了三种近似推...
关键词：Goguen命题逻辑系统 k随机真度 k随机相似度 k随机伪度量 近似推理 
随机模糊环境下的命题逻辑真度理论被引量：4
《模式识别与人工智能》2017年第4期289-301,共13页吴霞 张家录 
湖南省自然科学基金项目(No.2017JJ2241;16JJ6138);湖南省社会科学基金项目(No.16YBA329);湖南省教育厅科学研究重点项目(No.2014A135;13A093);湘南学院科学研究课题项目(No.2014XJ54);湖南省重点建设学科资助~~
在实单位区间[0,1]具有一定概率分布的基础上,引入命题逻辑公式的随机模糊意义下的真度概念,指出随机真度是已有文献中各种命题逻辑真度的共同推广.利用随机模糊真度定义公式间的随机模糊相似度,导出全体公式集上的一种伪距离——随机...
关键词：命题逻辑 随机模糊真度 随机模糊相似度 逻辑伪距离空间 极限定理 近似推理 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部