搜索到128篇“ 逻辑度量空间“的相关文章
- 逻辑度量空间被引量：150
- 2001年
- 取赋值格为［０，１］，用积分工具引入了公式的真度和相似度的概念，并从而在公式集Ｆ上建立了伪距离，为近似推理提供了一种可能的框架．
- 王国俊王伟
- 关键词：真度相似度逻辑度量空间
- 一阶逻辑中逻辑度量空间与理论相容性的拓扑性质
- 2025年
- 设Φ是全体不含函数符号的一阶闭逻辑公式之集。本研究基于一阶逻辑中的公理化真度理论对逻辑度量空间的结构进行分析,搭建逻辑度量空间与拓扑概念之间的联系,证明逻辑度量空间(Φ,ρ)中没有孤立点,并且度量空间(Φ,ρ)存在着既开又闭集组成的拓扑基。最后论证Φ中一个闭逻辑理论Γ是相容的充要条件。得到结论:Γ是相容的当且仅当Γ在逻辑度量空间中不含内点;Γ是相容的当且仅当Γ在逻辑度量空间中不含非空正则球面。
- 王前惠小静袁一丹许倩
- 关键词：一阶逻辑逻辑度量空间相容性
- 区间值模糊推理的逻辑度量空间被引量：1
- 2023年
- 为了探寻适合区间值模糊推理的条件,本文研究区间值逻辑度量空间。本文提出一种新的基于区间值双剩余蕴涵算子的区间值模糊集的距离度量。由4个著名的区间值双剩余诱导相应的距离度量,做成4个度量空间,分别研究4个度量空间的性质。进一步,证明基于区间值Łukasiewicz剩余蕴涵的度量空间和区间值Goguen剩余蕴涵的度量空间适合做区间值模糊推理。最后,在基于区间值Łukasiewicz剩余蕴涵度量空间中,证明基于区间值Łukasiewicz剩余蕴涵的模糊推理全蕴涵算法是鲁棒的,为区间值模糊推理算法的应用提供了坚实的理论基础。
- 罗敏霞徐东辉
- 关键词：模糊集区间值模糊集区间值模糊推理三角范数逻辑度量空间
- 剩余格上逻辑度量空间的拓扑性质被引量：2
- 2018年
- 首先研究了逻辑度量空间([0,1],ρ_R)与度量空间(F(X),H_R)的关系,其次讨论了[0,1]剩余格上逻辑度量空间中Cauchy-列的收敛性问题,最后在一般剩余格上建立了一致拓扑结构,为我们研究一般剩余格的结构提供了一种新的方法,并为逻辑推理系统的鲁棒性分析奠定了理论基础。
- 段景瑶
- 关键词：剩余格
- 对称逻辑公式在L4＊逻辑度量空间中的分布
- 2015年
- 在四值逻辑系统L*4中引入了对称逻辑公式。运用Matla软件研究了对称逻辑公式在L*4逻辑度量空间中的计数问题,给出了3n元、3n+1元、3n+2元对称逻辑公式的个数。证明了n元对称逻辑公式占全体n元逻辑公式的比例随n的增大而趋于零。
- 惠小静赵玛瑙高姣
- 关键词：计数问题
- S-逻辑系统中的积分相似度与对称逻辑公式在L4*逻辑度量空间中的分布
- 与通常相似度定义在真度基础上不同,本文在S-逻辑系统中提出了基于S-蕴含算子的积分相似度,给出了积分相似度的推理性质.建立了与之相对应的伪距离,证明了伪距离空间(FS(S,)ρ)中逻辑蕴涵算子”(?)，∧，∨，→”都是连...
- 赵玛瑙
- 关键词：计数问题
- ξ-逻辑度量空间中理论的开放度被引量：2
- 2014年
- 在n值R0型命题逻辑系统的ξ-逻辑度量空间中,提出理论的ξ-开放度概念,研究理论的开放度与随机概率分布序列取值的关系,证明了理论的开放度依赖于随机概率分布序列的不同分布。
- 李修清吴果林
- 关键词：随机真度随机逻辑度量空间相容度
- 平衡逻辑公式在逻辑度量空间中的分布
- 2013年
- 引入了平衡逻辑公式的概念,证明了和一个平衡逻辑公式等价的逻辑公式是平衡逻辑公式。并且n元平衡逻辑公式中等价类关于→,∨,∧,→运算封闭,等价类之集[A](A是n元平衡逻辑公式)关于包含序在∨,∧下构成一个格。证明了n元平衡逻辑公式只占全体n元逻辑公式的很小一部分,其比例随n的增大而趋向于零。其次,n元平衡逻辑公式的真度总是等于1/2,任一n元平衡逻辑公式的任意小的邻域内都有非平衡逻辑公式,但是这些公式的真度随n的增大而趋向于1/2。最后,给出了平衡逻辑公式的表示定理。
- 胡明娣
- 关键词：逻辑度量空间真度
- 随机逻辑度量空间中命题稠密性与逻辑算子连续性
- 2013年
- 在赋值域为W=[0,1]的Lukasiewicz命题逻辑系统Luk中展开研究,对在命题逻辑系统Luk中李修清等得到的随机逻辑度量空间进行进一步研究。证明了随机逻辑度量空间中没有孤立点,即命题逻辑系统Luk中的命题公式在该空间中是稠密的;研究了逻辑运算子在随机逻辑度量空间中的连续性,证明了在李修清等给出的随机逻辑度量空间中,命题算子关于运算、∨与→是连续的。
- 李修清
- 关键词：随机真度随机逻辑度量空间稠密性连续性
- n元经典逻辑度量空间中的平移变换被引量：2
- 2013年
- 利用模2的加法运算和逻辑公式的向量表示构造了n元经典逻辑度量空间中的平移变换。得到了平移变换的一些简单性质,证明了平移变换保持非运算,但不保持交、并、蕴涵运算;得到了逻辑理论的发散度、有限理论的相容度在平移变换之下不变的结论。证明了平移变换之集构成一个群;在经典逻辑度量空间中以公式类中公式的真度为范数,进一步证明了(Fn(S)ρ)关于该范数可以构成次范整线性空间。
- 马巧云
- 关键词：平移变换次范整线性空间
相关作者
- 左卫兵
- 作品数：53被引量：116H指数：7
- 供职机构：华北水利水电大学
- 研究主题：命题逻辑 逻辑度量空间 真度 逻辑系统 随机真度
- 惠小静
- 作品数：103被引量：233H指数：10
- 供职机构：延安大学数学与计算机科学学院
- 研究主题：真度 相似度 命题逻辑系统 随机真度 伪距离
- 李修清
- 作品数：74被引量：137H指数：7
- 供职机构：桂林航天工业学院
- 研究主题：随机真度 随机逻辑度量空间 有向图 直径 DEL
- 王国俊
- 作品数：240被引量：1,684H指数：29
- 供职机构：陕西师范大学数学与信息科学学院
- 研究主题：真度 模糊推理 代数 相似度 模糊逻辑
- 吴洪博
- 作品数：230被引量：479H指数：17
- 供职机构：陕西师范大学
- 研究主题：模糊逻辑 代数 逻辑代数 BR 逻辑系统
