逻辑度量空间

作品数：79被引量：261H指数：9
导出分析报告
相关领域：理学自动化与计算机技术更多>>
相关作者：左卫兵惠小静李修清王国俊吴洪博更多>>
相关机构：陕西师范大学华北水利水电学院桂林航天工业学院延安大学更多>>
相关期刊：《系统科学与数学》《高校应用数学学报（A辑）》《郑州大学学报（理学版）》《湖北大学学报（自然科学版）》更多>>
相关基金：国家自然科学基金河南省教育厅自然科学基金河南省自然科学基金广西教育厅科研项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一阶逻辑中逻辑度量空间与理论相容性的拓扑性质
《湖北大学学报(自然科学版)》2025年第2期173-179,共7页王前 惠小静 袁一丹 许倩 
国家自然科学基金(12261090、12301456);延安大学研究生教育创新计划项目;延安大学创新训练项目(YCX2023011)资助。
设Φ是全体不含函数符号的一阶闭逻辑公式之集。本研究基于一阶逻辑中的公理化真度理论对逻辑度量空间的结构进行分析,搭建逻辑度量空间与拓扑概念之间的联系,证明逻辑度量空间(Φ,ρ)中没有孤立点,并且度量空间(Φ,ρ)存在着既开又闭...
关键词：一阶逻辑 逻辑度量空间 零维空间 相容性 
基于BR0代数语义的模糊命题逻辑系统的随机发散度与近似推理
《西北师范大学学报(自然科学版)》2025年第2期85-90,共6页何银 惠小静 彭晨雪 
国家自然科学基金资助项目(12261090,12301456)。
基于BR0代数语义,在赋值域为[0,1]的模糊命题逻辑系统中提出了公式的p-随机真度,同时引入公式间的p-随机相似度和p-随机伪距离的概念,建立了p-随机逻辑度量空间(F(S),d_(p)).在p-随机逻辑度量空间(F(S),d_(p))中提出了理论的p-随机发散...
关键词：模糊逻辑 p-随机真度 p-随机逻辑度量空间 p-随机发散度 近似推理 
n值R_(0)命题逻辑系统中公式的条件随机真度
《湖北大学学报（自然科学版）》2024年第1期133-140,共8页许倩 惠小静 南琼 
国家自然科学基金(12261090)资助。
基于条件概率的思想和赋值集的随机化方法,在n值R_(0)命题系统中提出公式的条件随机真度,证明条件随机真度的MP规则和HS规则。其次,引入公式间的条件随机相似度和条件随机伪距离,建立条件随机逻辑度量空间,进一步给出在条件Γ下的近似...
关键词：条件随机真度 条件随机相似度 条件随机逻辑度量空间 
命题逻辑系统L_(n)^(*)中理论的p-随机发散度的分布研究被引量：1
《系统科学与数学》2023年第9期2310-2318,共9页惠小静 南琼 许倩 
国家自然科学基金(12261090)资助课题。
在命题逻辑系统L_(n)^(*)中提出了p-随机真度,p-随机相似度,p-随机伪距离的概念,建立了p-随机逻辑度量空间(F(S),ρp).在p-随机逻辑度量空间(F(S),ρp)中提出了理论的p-随机发散度的概念,指出理论的p-随机发散度是和随机n值分布序列p=(p...
关键词：p-随机真度 p-随机伪距离 p-随机逻辑度量空间 p-随机发散度 
区间值模糊推理的逻辑度量空间被引量：1
《智能系统学报》2023年第3期613-618,共6页罗敏霞 徐东辉 
国家自然科学基金项目(12171445,61773019).
为了探寻适合区间值模糊推理的条件,本文研究区间值逻辑度量空间。本文提出一种新的基于区间值双剩余蕴涵算子的区间值模糊集的距离度量。由4个著名的区间值双剩余诱导相应的距离度量,做成4个度量空间,分别研究4个度量空间的性质。进一...
关键词：模糊集 区间值模糊集 区间值模糊推理 三角范数 剩余蕴涵 距离度量 逻辑度量空间 全蕴涵算法 
逻辑公式间的Jaccard距离及其应用被引量：13
《计算机科学与探索》2020年第11期1975-1980,共6页于鹏 
国家自然科学基金Nos.61976130,61871260;陕西省教育厅专项科研项目No.18Jk0099;陕西科技大学博士科研启动基金No.2019BJ-41。
对命题逻辑的相关概念进行量化处理,是命题逻辑研究的一种新方法,是一种有别于语构与语义的研究方法,是研究命题集结构的一个有力工具。通过运用向量间的Jaccard相似系数,在经典逻辑系统L中给出了公式间的Jaccard相似度、Jaccard距离等...
关键词：Jaccard相似系数 近似推理 计量逻辑学 逻辑度量空间 
增加两类算子的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随机逻辑度量空间 近似推理 
基于命题逻辑公式真度的概率逻辑学基本定理
《桂林航天工业学院学报》2019年第2期253-257,共5页李修清 
利用概率分布,给出命题逻辑公式的真度概念,建立了逻辑度量空间。给出不可靠度概念,在我们建立的逻辑度量空间里,得出了一个有效推理结论的不可靠度和各前提不可靠度之间关系的结论。利用我们得出的结论,证明了逻辑度量空间中MP,HS等规...
关键词：真度 不可靠度 距离 逻辑度量空间 
剩余格上逻辑度量空间的拓扑性质被引量：2
《山东大学学报（理学版）》2018年第12期9-16,共8页段景瑶 
国家自然科学基金资助项目(11626035);宝鸡市科技计划资助项目(2017JH2-22);宝鸡文理学院重点资助项目(ZK2017023)
首先研究了逻辑度量空间([0,1],ρ_R)与度量空间(F(X),H_R)的关系,其次讨论了[0,1]剩余格上逻辑度量空间中Cauchy-列的收敛性问题,最后在一般剩余格上建立了一致拓扑结构,为我们研究一般剩余格的结构提供了一种新的方法,并为逻辑推理系...
关键词：剩余格 Cauchy-序列 完备 一致拓扑 
逻辑理论的随机相容度被引量：1
《计算机工程与应用》2018年第3期46-49,共4页李修清 张超权 
广西高校中青年教师基础能力提升项目(No.KY2016YB527)
在n值Lukasiewicz命题逻辑系统中,提出理论的随机相容度的概念,并指出理论的随机相容度是和概率分布列的选取相关的。最后证明了理论的随机相容度在n值随机逻辑度量空间中,同样保持经典逻辑度量空间中的基本性质。
关键词：随机真度 随机伪距离 随机逻辑度量空间 随机相容度 
全选清除导出
共8页<12345678>
检索报告 对象比较 聚类工具 使用帮助 返回顶部