Conditional probability truth degree of formulas in continuous value propositional logic system

doi:10.3778/j.issn.1002-8331.2009.28.016

Computer Engineering and Applications ›› 2009, Vol. 45 ›› Issue (28): 55-59.DOI: 10.3778/j.issn.1002-8331.2009.28.016

• 研究、探讨 • Previous Articles Next Articles

Conditional probability truth degree of formulas in continuous value 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-05-23 Revised:2008-09-15 Online:2009-10-01 Published:2009-10-01
Contact: YU Xi-chang

连续值命题逻辑系统中公式的条件概率真度

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

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

通讯作者: 于西昌

Abstract

Abstract: The valuation density function of formulas in the continuous value propositional logic system is proposed on the idea of conditional probability.The definitions of probability truth degree，mathematical expectation and conditional probability truth degree for formulas in the continuous value propositional logic system are proposed，and some inference rules of probability truth degree are obtained.It is proved that the sets of all the probability truth degree and the conditional probability truth degree are dense in [0，1].

Key words: valuation density function, probability truth degree, conditional probability truth degree, inference rule, density

摘要： 基于条件概率的思想，在连续值命题逻辑系统中引入赋值密度函数概念，给出了公式的概率真度、数学期望、条件概率真度的定义，并得到了一些概率真度的推理规则。证明了Lukasiewicz逻辑系统中概率真度、条件概率真度在[0，1]中稠密。

关键词: 赋值密度函数, 概率真度, 条件概率真度, 推理规则, 稠密性

CLC Number:

O141.1

YU Xi-chang¹，TAN Gui-mei²，ZHANG Xing-fang³. Conditional probability truth degree of formulas in continuous value propositional logic system[J]. Computer Engineering and Applications, 2009, 45(28): 55-59.

于西昌¹，谭桂梅²，张兴芳³. 连续值命题逻辑系统中公式的条件概率真度[J]. 计算机工程与应用, 2009, 45(28): 55-59.

[1]	LAN Hong, HUANG Min. Fusion of KNN Optimized Density Peaks and FCM Clustering Algorithm [J]. Computer Engineering and Applications, 2021, 57(9): 81-88.
[2]	LI Li, JI Xinyuan, SONG Song. Prediction Model for Number of Software Defects in Loop [J]. Computer Engineering and Applications, 2021, 57(7): 158-163.
[3]	PENG Qihui, XUAN Shibin, GAO Qing. Distribution Automatic Threshold Density Peak Clustering Algorithm [J]. Computer Engineering and Applications, 2021, 57(5): 71-78.
[4]	WANG Fuyin, ZHANG Desheng, ZHANG Xiao. Adaptive Density Peaks Clustering Algorithm Combining with Whale Optimization Algorithm [J]. Computer Engineering and Applications, 2021, 57(3): 94-102.
[5]	ZHANG Zhonglin, ZHAO Yu, YAN Guanghui. Natural Neighbor Density Extremum Clustering Algorithm [J]. Computer Engineering and Applications, 2021, 57(23): 200-210.
[6]	MEI Jie, WEI Yuanyuan, XU Taosheng. Fusion Clustering Algorithm Based on Multi-Prototypes Using Density Peaks [J]. Computer Engineering and Applications, 2021, 57(22): 78-85.
[7]	ZUO Jianhao, JIANG Wengang. Adaptive Feature Fusion Network for Crowd Counting [J]. Computer Engineering and Applications, 2021, 57(21): 203-208.
[8]	DING Songyang, TIAN Qingyun. Density Peak Clustering Algorithm Based on Ball-Tree [J]. Computer Engineering and Applications, 2021, 57(20): 90-96.
[9]	WEI Danni, YANG Youlong, QIU Haiquan. Self-Training Algorithm Combining Density Peak and Cut Edge Weight [J]. Computer Engineering and Applications, 2021, 57(2): 70-76.
[10]	ZHANG Bowen, LIU Zhi, SANG Guoming. Anomaly Detection Algorithm Based on Kernel Density Fluctuation [J]. Computer Engineering and Applications, 2021, 57(12): 132-136.
[11]	RAO Jiawang, MA Ronghua. Improved Kernel Density Estimator Based Spatial Point Density Algorithm [J]. Computer Engineering and Applications, 2021, 57(11): 260-265.
[12]	XU Chundong, XIN Pengli, ZHOU Jing, YING Dongwen. Classification of Heart Sounds Using Power Spectral Density and Convolutional Neural Networks [J]. Computer Engineering and Applications, 2021, 57(10): 125-132.
[13]	WANG Wenhui, LI Peng, HU Yundi. Measurement Set Partitioning Algorithm for Extended Target Based on Target Prediction [J]. Computer Engineering and Applications, 2020, 56(8): 143-148.
[14]	WANG Caiwen, YANG Youlong. Improved Nearest Neighbor Classification Algorithm for Imbalanced Data [J]. Computer Engineering and Applications, 2020, 56(7): 30-38.
[15]	WU Qingke, WU Xiao, YUAN Yuyang, GUAN Xinqiang. Crowd Counting Combined with Neural Networks and Multi-Column Feature Map Aggregation [J]. Computer Engineering and Applications, 2020, 56(4): 214-218.

Conditional probability truth degree of formulas in continuous value propositional logic system

连续值命题逻辑系统中公式的条件概率真度

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics