Probability truth degree of formulas in classical propositional logic

doi:10.3778/j.issn.1002-8331.2010.11.014

Computer Engineering and Applications ›› 2010, Vol. 46 ›› Issue (11): 46-48.DOI: 10.3778/j.issn.1002-8331.2010.11.014

• 研究、探讨 • Previous Articles Next Articles

Probability truth degree of formulas in classical propositional logic

YU Xi-chang¹，TAN Gui-mei²

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

Received:2008-10-15 Revised:2008-12-25 Online:2010-04-11 Published:2010-04-11
Contact: YU Xi-chang

二值命题逻辑中的概率真度

于西昌¹，谭桂梅²

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

通讯作者: 于西昌

Abstract

Abstract: The truth degree of classical propositional logic systems is introduced to probability logic，and the expectation of formula is given.Moreover，the correlation coefficient between formulas is studied；also the rules and the properties of infinite formula which is converging are studied.Finally，an entropy as the eigenvalue for metric uncertainty is defined.

Key words: probability truth degree, mathematical expectation, correlation coefficient, entropy

摘要： 将二值命题逻辑系统的真度概念引入到概率逻辑，定义了公式的期望，给出了反映公式之间内在联系的相关系数，研究了无限公式收敛时所遵循的规律及特点，引入了度量不确定性的特征值—熵。

关键词: 概率真度, 数学期望, 相关系数, 熵

CLC Number:

O141.1

YU Xi-chang¹，TAN Gui-mei². Probability truth degree of formulas in classical propositional logic[J]. Computer Engineering and Applications, 2010, 46(11): 46-48.

于西昌¹，谭桂梅²

. 二值命题逻辑中的概率真度[J]. 计算机工程与应用, 2010, 46(11): 46-48.

[1]	NI Zongjun, CHEN Hui, ZHANG Yun, SU Min, ZHENG Xiujuan. Non-contact Physiological Parameter Estimation Method Based on Adaptive Denoising [J]. Computer Engineering and Applications, 2021, 57(5): 153-160.
[2]	CAI Dongli, ZHONG Qinghua, ZHU Yongsheng, LIAO Jinxiang, HAN Maizhi. EEG Emotion Recognition Using Convolutional Neural Network with 3D Input [J]. Computer Engineering and Applications, 2021, 57(5): 161-167.
[3]	WANG Peng, YE Xueyi, WANG Tao, QIAN Dingwei. Face Recognition Based on Double Variation and Double Space Local Directional Pattern [J]. Computer Engineering and Applications, 2021, 57(4): 91-99.
[4]	MA Manfu, GUO Chenbiao, LI Yong, ZHANG Zhongying, ZHANG Qiang, WANG Changqing. Research on Heterogeneity of Attention Flow Network Based on Structural Entropy [J]. Computer Engineering and Applications, 2021, 57(23): 98-105.
[5]	YI Lingzhi, WANG Shitong, YI Fang, DENG Dong, YI Zhimin, JIANG Peng. Wind Farm Ultra-Short-Term Wind Speed Prediction Based on EEMDSE-ILSTM [J]. Computer Engineering and Applications, 2021, 57(22): 288-294.
[6]	JIANG Kui, QIU Yuandong, ZHENG Haocheng. ICMPv6 DDoS Attack Detection Method Based on Information Entropy and LSTM [J]. Computer Engineering and Applications, 2021, 57(21): 148-154.
[7]	ZHANG Lige, CHEN Yuwen, QIN Xiaolin, YI Bin, LI Yujie. Analytical Model for Correlations Between Indicators and Critical Illness [J]. Computer Engineering and Applications, 2021, 57(19): 156-163.
[8]	SONG Shijie, CHEN Kaiyan, ZHANG Yang. Security Evaluation Framework of Deep Learning Side Channel Analysis from Information Entropy [J]. Computer Engineering and Applications, 2021, 57(17): 138-146.
[9]	HUANG Lin, YUAN Xiujiu. General Formula and Generating Algorithm of Improved Hesitant Fuzzy Linguistic Entropy [J]. Computer Engineering and Applications, 2021, 57(16): 97-107.
[10]	ZHANG Junfang, ZHOU Ligang, ZHANG Chunfang, XU Xin, XIAO Jian. Application of Interval-Valued Pythagorean Hesitant Fuzzy Continuous Entropy-Grey Relative Degree [J]. Computer Engineering and Applications, 2021, 57(15): 207-214.
[11]	ZHU Yongming, QIU Wenjing. Correlation Coefficient of Probability Multi-valued Neutrosophic Set and Its Application [J]. Computer Engineering and Applications, 2021, 57(15): 186-192.
[12]	XIANG Yixuan, JIANG He, PAN Pinchen, SUN Conghui. Study on [K]-means Clustering Algorithm of Quadratic Power Coupling [J]. Computer Engineering and Applications, 2021, 57(14): 95-102.
[13]	ZHANG Nianpeng, WU Xu, ZHU Qiang. Entropy-Based Oversampling Framework [J]. Computer Engineering and Applications, 2021, 57(13): 96-101.
[14]	XIE Xiang, ZHANG Qianru, ZHANG Jing, GAO Xinyu. Research and Application on Information System Component Identification Method Based on Domain Modeling-Oriented [J]. Computer Engineering and Applications, 2021, 57(12): 105-114.
[15]	ZHANG Di, YANG Pei, DENG Xinbo, ZHAO Qianchuan. ASExplorer： Multi-dimensional Correlation Visual Analysis System Based on Joint Entropy [J]. Computer Engineering and Applications, 2021, 57(1): 99-109.

Probability truth degree of formulas in classical propositional logic

二值命题逻辑中的概率真度

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics