Gödel [n]值命题逻辑系统的真度理论

doi:10.3778/j.issn.1002-8331.1601-0011

计算机工程与应用 ›› 2017, Vol. 53 ›› Issue (11): 67-72.DOI: 10.3778/j.issn.1002-8331.1601-0011

Gödel [n]值命题逻辑系统的真度理论

朱乃调，惠小静，高晓莉，高姣

延安大学数学与计算机科学学院，陕西延安 716000

出版日期:2017-06-01 发布日期:2017-06-13

Theory of truth degree in Gödel [n]-valued propositional logic system

ZHU Naidiao, HUI Xiaojing, GAO Xiaoli, GAO Jiao

College of Mathematics and Computer Science, Yan’an University, Yan’an, Shaanxi 716000, China

Online:2017-06-01 Published:2017-06-13

摘要/Abstract

摘要： 首先在Gödel [n]值命题逻辑系统中添加了新的连接词[Δ,～]，给出了Gödel [n]值命题逻辑系统中命题公式间的真度、相似度和伪距离的定义；讨论了在该系统下它们的一些相关性质，并给出了相应的证明。

关键词: Gö, del [n]命题逻辑系统, 真度, 相似度, 伪距离

Abstract: The new connectors[Δ]and[～]are presented in G?del [n]-valued propositional logic system in this paper, the definition of truth degree, similarity degree and pseudo-metric among formulas are given in Gödel [n]-valued propositional logic system, some related properties of them among formulas are discussed under the system, and the corresponding certificate is presented.

Key words: Gödel [n]-valued propositional logic system, truth degree, similarity degree, pseudo-metric

朱乃调，惠小静，高晓莉，高姣. Gödel [n]值命题逻辑系统的真度理论[J]. 计算机工程与应用, 2017, 53(11): 67-72.

ZHU Naidiao, HUI Xiaojing, GAO Xiaoli, GAO Jiao. Theory of truth degree in Gödel [n]-valued propositional logic system[J]. Computer Engineering and Applications, 2017, 53(11): 67-72.

[1]	张岐山，陈露露. 基于均衡接近度灰关联的Slope One算法[J]. 计算机工程与应用, 2021, 57(9): 96-102.
[2]	王永贵，李倩玉. 基于KNN-GBDT的混合协同过滤推荐算法[J]. 计算机工程与应用, 2021, 57(9): 103-108.
[3]	张松灿，普杰信，司彦娜，孙力帆. 基于种群相似度的自适应改进蚁群算法及应用[J]. 计算机工程与应用, 2021, 57(8): 70-77.
[4]	张晓闻，任勇峰. 结合稀疏表示与拓扑相似性的图像匹配算法[J]. 计算机工程与应用, 2021, 57(8): 198-203.
[5]	杨芳，尹曦，司建辉，刘宏媛，汪雪. 基于侧重点聚类的数学表达式相似度计算方法[J]. 计算机工程与应用, 2021, 57(6): 88-93.
[6]	钱芸芸，杨文忠，姚苗，李海磊，柴亚闯. 融合主题相似度权重的主题社区发现模型[J]. 计算机工程与应用, 2021, 57(5): 107-114.
[7]	田维安，陈红梅，周丽华. 基于相似用户好奇心的多样性推荐方法[J]. 计算机工程与应用, 2021, 57(23): 113-121.
[8]	梁田，曹德欣. 基于莱维飞行的改进简化粒子群算法[J]. 计算机工程与应用, 2021, 57(20): 188-196.
[9]	刘莉. 基于用户多样性偏好的top-N推荐算法[J]. 计算机工程与应用, 2021, 57(17): 116-121.
[10]	杨延娇，赵国涛，王丕栋. 基于语义与情感的句子相似度计算方法[J]. 计算机工程与应用, 2021, 57(16): 151-158.
[11]	赵琪，杜彦辉，芦天亮，沈少禹. 基于Capsule-BiGRU的文本相似度分析算法[J]. 计算机工程与应用, 2021, 57(15): 171-177.
[12]	乔伟涛，黄海燕，王珊. 基于Transformer编码器的语义相似度算法研究[J]. 计算机工程与应用, 2021, 57(14): 158-163.
[13]	张振海，张湘婷. 上下文感知的高铁信息服务推荐方法研究[J]. 计算机工程与应用, 2021, 57(12): 231-236.
[14]	曾海燕，左开中，王永录，刘蕊. 路网环境下的语义多样性位置隐私保护方法[J]. 计算机工程与应用, 2020, 56(7): 102-108.
[15]	魏玮，张芯月，朱叶. 改进的SIFT结合余弦相似度的人脸匹配算法[J]. 计算机工程与应用, 2020, 56(6): 207-212.

Gödel [n]值命题逻辑系统的真度理论

Theory of truth degree in Gödel [n]-valued propositional logic system

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics