Theory of probability truth degree for formula in propositional logic system

doi:10.3778/j.issn.1002-8331.2010.05.013

Computer Engineering and Applications ›› 2010, Vol. 46 ›› Issue (5): 40-43.DOI: 10.3778/j.issn.1002-8331.2010.05.013

• 研究、探讨 • Previous Articles Next Articles

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

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

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

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

通讯作者: 于西昌

Abstract

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

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

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

CLC Number:

O141.1

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.

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

[1]	LI Xiuqing, ZHANG Chaoquan. Randomized consistency degree in logic theory [J]. Computer Engineering and Applications, 2018, 54(3): 46-49.
[2]	WANG Jinying, WANG Yanping, QI Shuang. Improved rough intuitionistic fuzzy sets [J]. Computer Engineering and Applications, 2018, 54(11): 41-45.
[3]	HONG Zhiyong1, LIU Yi2，3, QIN Keyun4. Discussions on some kinds of inference rules in gradational lattice-valued propositional logic [J]. Computer Engineering and Applications, 2017, 53(24): 55-58.
[4]	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.
[5]	LI Yan. Generalization of fundamental theorem of probability logic and its applications [J]. Computer Engineering and Applications, 2017, 53(1): 54-56.
[6]	YI Sanli1，2, GUO Beibei2, MA Lei2, QIAN Jie2. Improved image edge detection algorithm based on fuzzy inference rules [J]. Computer Engineering and Applications, 2016, 52(12): 180-183.
[7]	MA Qiaoyun1, WU Hongbo2. Boole function representation of pseudo-metric among many-valued formula [J]. Computer Engineering and Applications, 2015, 51(23): 38-41.
[8]	LI Xiuqing. Randomized truth degree and inference rules of proposition formulas [J]. Computer Engineering and Applications, 2015, 51(19): 66-70.
[9]	ZHANG Kai. Research on dynamic emergency decision method based on case-based reasoning [J]. Computer Engineering and Applications, 2014, 50(23): 56-60.
[10]	HUI Xiaojing, ZHAO Manao. Integral similarity degree and continuity of operators in S- fuzzy logic system [J]. Computer Engineering and Applications, 2014, 50(20): 45-47.
[11]	CHEN Yongping1, YANG Sichun2. Reduction of object-oriented concept lattices [J]. Computer Engineering and Applications, 2013, 49(19): 119-122.
[12]	XU Shan1, DU Weifeng2, MIN Xiao2. New method of attribute reduction to fuzzy decision table [J]. Computer Engineering and Applications, 2013, 49(18): 105-107.
[13]	MU Haijun1, E Xu1，2，3, JIN Chengmei1, WANG Quantie3. Discretization algorithm applied to interval numbers [J]. Computer Engineering and Applications, 2012, 48(9): 134-137.
[14]	XIAO Le1，2, WU Xianglin1, ZHEN Tong2. Research of grain emergency path optimization based on adaptive chaos-based Ant Colonies Optimization algorithm [J]. Computer Engineering and Applications, 2012, 48(24): 28-31.
[15]	SHE Yanhong, HE Xiaoli. Quantitative analysis of rough logic [J]. Computer Engineering and Applications, 2012, 48(14): 44-50.

Theory of probability truth degree for formula in propositional logic system

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

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics