Similarity degree and pseudo-distance of probability truth degree for formulas in Gödel propositional logic system

doi:10.3778/j.issn.1002-8331.2010.20.013

Computer Engineering and Applications ›› 2010, Vol. 46 ›› Issue (20): 46-49.DOI: 10.3778/j.issn.1002-8331.2010.20.013

• 研究、探讨 • Previous Articles Next Articles

Similarity degree and pseudo-distance of probability truth degree for formulas in Gödel propositional logic system

TAN Gui-mei¹，YU Xi-chang²

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

Received:2009-01-21 Revised:2009-04-07 Online:2010-07-11 Published:2010-07-11
Contact: TAN Gui-mei

Gödel命题逻辑中公式概率真度的相似度及伪距离

谭桂梅¹，于西昌²

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

通讯作者: 谭桂梅

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 G?del is proposed，some inference rules of probability truth degree are studied.On this groundwork，three similarities are given，the properties and the relationship are discussed.By introducing similarity degree，the definition of pseudo-distance is proposed.And the structure and properties of logical metric space are discussed，thus the basis for the inference degree’s numeralization is proved.

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

摘要： 通过引入赋值密度函数、边缘密度函数等概念，给出了连续值命题逻辑系统G?del中公式概率真度的定义，研究了概率真度的推理规则，在此基础上给出了三种相似度，讨论了其性质及关系，并由此定义了三种伪距离，讨论了逻辑度量空间的结构及其性质，为推理程度的数值化提供了依据。

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

CLC Number:

O141.1

TAN Gui-mei¹，YU Xi-chang². Similarity degree and pseudo-distance of probability truth degree for formulas in Gödel propositional logic system[J]. Computer Engineering and Applications, 2010, 46(20): 46-49.

谭桂梅¹，于西昌². Gödel命题逻辑中公式概率真度的相似度及伪距离[J]. 计算机工程与应用, 2010, 46(20): 46-49.

[1]	WANG Jinying, WANG Yanping, QI Shuang. Improved rough intuitionistic fuzzy sets [J]. Computer Engineering and Applications, 2018, 54(11): 41-45.
[2]	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.
[3]	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.
[4]	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.
[5]	LI Xiuqing. Randomized truth degree and inference rules of proposition formulas [J]. Computer Engineering and Applications, 2015, 51(19): 66-70.
[6]	ZHANG Kai. Research on dynamic emergency decision method based on case-based reasoning [J]. Computer Engineering and Applications, 2014, 50(23): 56-60.
[7]	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.
[8]	CHEN Yongping1, YANG Sichun2. Reduction of object-oriented concept lattices [J]. Computer Engineering and Applications, 2013, 49(19): 119-122.
[9]	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.
[10]	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.
[11]	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.
[12]	SHE Yanhong, HE Xiaoli. Quantitative analysis of rough logic [J]. Computer Engineering and Applications, 2012, 48(14): 44-50.
[13]	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.
[14]	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.
[15]	NING Chun，LI Fanzhang. Dynamic fuzzy logic relational learning [J]. Computer Engineering and Applications, 2011, 47(29): 34-39.

Similarity degree and pseudo-distance of probability truth degree for formulas in Gödel propositional logic system

Gödel命题逻辑中公式概率真度的相似度及伪距离

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics