命题逻辑系统Ln中公式集上的真度函数

doi:10.3778/j.issn.1002-8331.2010.36.010

计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (36): 37-39.DOI: 10.3778/j.issn.1002-8331.2010.36.010

命题逻辑系统L_n中公式集上的真度函数

马丽娜¹，刘烁²，王国俊¹

1.陕西师范大学数学与信息科学学院，西安 710062
2.第四军医大学生物医学工程系，西安 710032

收稿日期:2010-07-20 修回日期:2010-10-19 出版日期:2010-12-21 发布日期:2010-12-21
通讯作者: 马丽娜

Truth degree function on set of formulas in propositional logic system L_n

MA Li-na¹，LIU Shuo²，WANG Guo-jun¹

1.College of Mathematics and Information Science，Shaanxi Normal University，Xi’an 710062，China
2.Faculty of　Biomedical　Engineering，The Fourth Military Medical University，Xi’an 710032，China

Received:2010-07-20 Revised:2010-10-19 Online:2010-12-21 Published:2010-12-21
Contact: MA Li-na

摘要/Abstract

摘要： 在n值Lukasiewicz命题逻辑系统中引入了公式集F（S）上真度函数的公理化定义，给出了真度函数的若干重要性质，利用真度函数从形式上定义了相似度和伪距离，建立了逻辑度量空间，为从语构的角度展开近似推理提供了一种可能的框架。

关键词: 真度函数, 相似度, 伪距离, 逻辑度量空间

Abstract: The purpose of this paper is to give an axiomatic definition of truth degree function on the set of formulas in n-valued Lukasiewicz propositional logic system and some properties of truth degree function are proved.The conceptions of similarity degree among formulas and a pseudo-metric on the set of formulas are defined by means of the concept of truth degree function.The logic metric space is built and a possible framework for approximate reasoning from the syntactical view is proposed.

Key words: truth degree function, similarity degree, pseudo-metric, logic metric space

中图分类号:

O142

马丽娜¹，刘烁²，王国俊¹. 命题逻辑系统L_n中公式集上的真度函数[J]. 计算机工程与应用, 2010, 46(36): 37-39.

MA Li-na¹，LIU Shuo²，WANG Guo-jun¹. Truth degree function on set of formulas in propositional logic system L_n[J]. Computer Engineering and Applications, 2010, 46(36): 37-39.

[1]	张岐山，陈露露. 基于均衡接近度灰关联的Slope One算法[J]. 计算机工程与应用, 2021, 57(9): 96-102.
[2]	王永贵，李倩玉. 基于KNN-GBDT的混合协同过滤推荐算法[J]. 计算机工程与应用, 2021, 57(9): 103-108.
[3]	张晓闻，任勇峰. 结合稀疏表示与拓扑相似性的图像匹配算法[J]. 计算机工程与应用, 2021, 57(8): 198-203.
[4]	张松灿，普杰信，司彦娜，孙力帆. 基于种群相似度的自适应改进蚁群算法及应用[J]. 计算机工程与应用, 2021, 57(8): 70-77.
[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.

命题逻辑系统L_n中公式集上的真度函数

Truth degree function on set of formulas in propositional logic system L_n

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

命题逻辑系统Ln中公式集上的真度函数

Truth degree function on set of formulas in propositional logic system Ln

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

命题逻辑系统L_n中公式集上的真度函数

Truth degree function on set of formulas in propositional logic system L_n