Similarity degree and pseudo-distance of conditional probability truth degree of formulas in propositional logic system

doi:10.3778/j.issn.1002-8331.2010.17.010

Computer Engineering and Applications ›› 2010, Vol. 46 ›› Issue (17): 33-38.DOI: 10.3778/j.issn.1002-8331.2010.17.010

• 研究、探讨 • Previous Articles Next Articles

Similarity degree and pseudo-distance of conditional probability truth degree of formulas in propositional logic system

NIU Guang-hua¹，YU Xi-chang²

1.Department of Architectural Engineering，Zaozhuang Vocational College of Science & Technology，Tengzhou，Shandong 277500，China
2.Liaocheng Vocational and Technical College，Liaocheng，Shandong 252000，China

Received:2008-12-08 Revised:2009-02-16 Online:2010-06-11 Published:2010-06-11
Contact: NIU Guang-hua

命题逻辑中条件概率真度的相似度及伪距离

牛广化¹，于西昌²

1.枣庄科技职业学院建筑工程系，山东滕州 277500
2.聊城职业技术学院，山东聊城 252000

通讯作者: 牛广化

Abstract

Abstract: By introducing the concepts of valuation density function and edge density function，a definition of conditional probability truth degree for formula in the continuous value propositional logic is proposed.Some inference rules of conditional probability truth degree are studied and the density of probability truth degree in [0，1] is proved.On this groundwork，three similarities are given whose properties and relationship are discussed.By introducing similarity degree，the definition of three kinds of pseudo-distance is proposed，and the relationship among them is determined.Thus the basis for the inference degree’s numerical is proved.

Key words: valuation density function, onditional probability truth degree, imilarity degree, seudo-distance

摘要： 通过引入赋值密度函数、边缘密度函数等概念给出了连续值命题逻辑系统中公式条件概率真度的定义，并得到了一些条件概率真度的推理规则；给出了3种相似度的概念，讨论了其性质及关系；定义了3种伪距离，确定了三者之间的比例关系，为推理程度的数值化提供了可靠的依据。

关键词: 赋值密度函数, 条件概率真度, 相似度, 伪距离

CLC Number:

O141.1

NIU Guang-hua¹，YU Xi-chang². Similarity degree and pseudo-distance of conditional probability truth degree of formulas in propositional logic system[J]. Computer Engineering and Applications, 2010, 46(17): 33-38.

牛广化¹，于西昌². 命题逻辑中条件概率真度的相似度及伪距离[J]. 计算机工程与应用, 2010, 46(17): 33-38.

[1]	WANG Jinying, WANG Yanping, QI Shuang. Improved rough intuitionistic fuzzy sets [J]. Computer Engineering and Applications, 2018, 54(11): 41-45.
[2]	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.
[3]	ZHANG Kai. Research on dynamic emergency decision method based on case-based reasoning [J]. Computer Engineering and Applications, 2014, 50(23): 56-60.
[4]	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.
[5]	CHEN Yongping1, YANG Sichun2. Reduction of object-oriented concept lattices [J]. Computer Engineering and Applications, 2013, 49(19): 119-122.
[6]	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.
[7]	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.
[8]	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.
[9]	SHE Yanhong, HE Xiaoli. Quantitative analysis of rough logic [J]. Computer Engineering and Applications, 2012, 48(14): 44-50.
[10]	LIU Xuemei，DING Weiwen，LI Aiping. Similarity retrieval methodology of stamping parts with relevance feedback [J]. Computer Engineering and Applications, 2011, 47(7): 241-245.
[11]	ZUO Weibing1，CHENG Weili1，MENG Yongsheng2. D3-randomized truth degree of formulas in logic system Godel 3 [J]. Computer Engineering and Applications, 2011, 47(5): 35-36.
[12]	ZHANG Mei，MA Yingcang. Truth degree theory of one kind of fuzzy logic system of Frank t-norm [J]. Computer Engineering and Applications, 2011, 47(2): 32-34.
[13]	YU Xichang1，TAN Guimei2. Probability truth degree in several logic system [J]. Computer Engineering and Applications, 2011, 47(12): 27-30.
[14]	GUAN Xiao-hong，LIU Xiao. Theory of probability truth degree in £ukasiewicz 3-valued logic system [J]. Computer Engineering and Applications, 2010, 46(6): 37-41.
[15]	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.

Similarity degree and pseudo-distance of conditional probability truth degree of formulas in propositional logic system

命题逻辑中条件概率真度的相似度及伪距离

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics