高晓莉

作品数：8被引量：1H指数：1
导出分析报告
供职机构：延安大学数学与计算机科学学院更多>>
发文主题：真度真度理论DEL命题逻辑系统相似度更多>>
发文领域：理学自动化与计算机技术更多>>
发文期刊：《模糊系统与数学》《计算机工程与应用》《电子学报》《软件学报》更多>>
所获基金：陕西省自然科学基金国家自然科学基金人才培养模式创新实验区项目博士科研启动基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
增加两类算子的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随机伪距离 相对随机发散度 相对随机相容度 
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随机伪度量 近似推理 
G?del n值命题逻辑系统中的Δ真度被引量：1
《模糊系统与数学》2016年第6期12-18,共7页朱乃调 惠小静 高晓莉 高姣 
国家自然科学基金资助项目(11471007);陕西省自然科学基金资助项目(2014JM1020);延安大学研究生创新基金资助项目(YCX201612);陕西省大学生创新训练计划项目(1064)
在G?del n值命题逻辑系统中添加了Δ算子,给出了G?del n值命题逻辑系统的Δ真度的定义及等价形式,讨论了在该系统下Δ真度的一些基本性质,论证了Δ真度的推理规则。
关键词：GODEL n值命题逻辑系统 Δ算子 Δ真度 
Gdel n值命题逻辑系统中命题公式的t真度及近似推理
《计算机科学》2016年第S2期97-102,共6页朱乃调 惠小静 高晓莉 
国家自然科学基金(11471007);陕西省自然科学基金(2014JM1020);多专业融合应用型人才培养模式创新实验区项目;延安大学研究生创新基金资助项目资助
通过增加两类算子~和Δ对Gdel n值命题逻辑系统进行公理化扩张Gdel(~,Δ),简记为G(~,Δ)。在Gdel^(^,Δ)中提出了命题公式的t真度的定义(t任取~,Δ),讨论了t真度的MP规则、HS规则、交推理规则、并推理规则以及它的一些相关性质;...
关键词：t真度 t相似度 t逻辑度量空间 近似推理 
n值Lukasiewicz逻辑系统中公式的向量表示及其研究
《计算机科学》2016年第S2期83-87,共5页高晓莉 惠小静 朱乃调 
国家自然科学基金(11471007);陕西省自然科学基金(2014JM1020);延安大学博士基金(YDBK2013-12);陕西省大学生创新训练计划项目(1064);延安市专项基金(2013-KG16);延安大学研究生创新基金资助
首先,借鉴n值?ukasiewicz逻辑系统中公式的赋值及赋值顺序,给出了公式的向量表示形式;接着,利用公式的赋值及赋值顺序给出了公式的真度、两公式间的3种相似度与伪距离的定义;最后,讨论了公式的真度和公式间的3种相似度与伪距离所具有的...
关键词：n值Lukasiewicz逻辑系统 向量 真度 3种相似度 3种伪距离 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部