命题逻辑系统中公式的概率真度理论

doi:10.3778/j.issn.1002-8331.2010.05.013

计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (5): 40-43.DOI: 10.3778/j.issn.1002-8331.2010.05.013

命题逻辑系统中公式的概率真度理论

于西昌¹，谭桂梅²，张兴芳³

1.聊城职业技术学院，山东聊城 252000
2.聊城大学图书馆，山东聊城 252059
3.聊城大学数学科学学院，山东聊城 252059

收稿日期:2008-09-09 修回日期:2008-11-24 出版日期:2010-02-11 发布日期:2010-02-11
通讯作者: 于西昌

Theory of probability truth degree for formula in propositional logic system

YU Xi-chang¹，TAN Gui-mei²，ZHANG Xing-fang³

1.Liaocheng Vocational and Technical College，Liaocheng，Shandong 252000，China
2.Liaocheng University Library，Liaocheng，Shandong 252059，China
3.School of Mathematics Science，Liaocheng University，Liaocheng，Shandong 252059，China

Received:2008-09-09 Revised:2008-11-24 Online:2010-02-11 Published:2010-02-11
Contact: YU Xi-chang

摘要/Abstract

摘要： 通过引入赋值密度函数、边缘密度函数等概念给出了连续值命题逻辑系统中公式概率真度的定义，明确了概率真度在[0，1]中的分布情况，并得到了一些概率真度的推理规则；引入相似度，给出了伪距离的定义，确定了二者之间的关系。

关键词: 赋值密度函数, 概率真度, 推理规则, 相似度, 伪距离

Abstract: By introducing the concepts of valuation density function and edge density function，a definition of probability truth degree for formula in the continuous value propositional logic system is proposed.The distribution of probability truth degree in[0，1] is made clear，and some inference rules of probability truth degree are obtained；By introducing similarity degree，the definition of pseudo-distance is proposed，and the relationship between them are determined.

Key words: valuation density, probability truth degree, inference rule, similarity degree, pseudo-metric

中图分类号:

O141.1

于西昌¹，谭桂梅²，张兴芳³. 命题逻辑系统中公式的概率真度理论[J]. 计算机工程与应用, 2010, 46(5): 40-43.

YU Xi-chang¹，TAN Gui-mei²，ZHANG Xing-fang³. Theory of probability truth degree for formula in propositional logic system[J]. Computer Engineering and Applications, 2010, 46(5): 40-43.

[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.

命题逻辑系统中公式的概率真度理论

Theory of probability truth degree for formula in propositional logic system

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics