Theory of probability truth degree in £ukasiewicz 3-valued logic system

doi:10.3778/j.issn.1002-8331.2010.06.011

Computer Engineering and Applications ›› 2010, Vol. 46 ›› Issue (6): 37-41.DOI: 10.3778/j.issn.1002-8331.2010.06.011

• 研究、探讨 • Previous Articles Next Articles

Theory of probability truth degree in £ukasiewicz 3-valued logic system

GUAN Xiao-hong，LIU Xiao

Department of Mathematics and Information Science，Henan Normal University，Xinxiang，Henan 453007，China

Received:2008-09-19 Revised:2008-12-12 Online:2010-02-21 Published:2010-02-21
Contact: GUAN Xiao-hong

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

关晓红，刘晓

河南师范大学数学与信息科学学院，河南新乡 453007

通讯作者: 关晓红

Abstract

Abstract: Using the infinite product of unevenly distributed probability space ，this paper introduces the theory of probability truth degree in £ukasiewicz 3-valued propositional logic.It is proved that the set of probability truth degree of all formulas has no isolated point in [0，1].The conceptions of probability similarity degree and pseudo-metric on two formulas are defined by means of the concept of probability truth degree of propositions.Moreover，the probability logic metric space is built.It is proved that this space has no isolated point.Then it can provide a possible framework for approximate reasoning theory.

Key words: probability measure, probability truth degree, similarity degree, pseudo-metric, isolated point

摘要： 利用势为3的非均匀概率空间的无穷乘积，在£ukasiewicz三值命题逻辑中引入了公式的概率真度概念，证明了全体公式的概率真度值之集在[0，1]中没有孤立点；利用概率真度定义了概率相似度和伪距离，进而建立了概率逻辑度量空间，证明了该空间中没有孤立点，为三值命题的近似推理理论提供了一种可能的框架。

关键词: 概率测度, 概率真度, 相似度, 伪距离, 孤立点

CLC Number:

O141.1

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.

关晓红，刘晓. £ukasiewicz三值命题逻辑系统中公式的概率真度理论[J]. 计算机工程与应用, 2010, 46(6): 37-41.

[1]	LI Xiuqing, ZHANG Chaoquan. Randomized consistency degree in logic theory [J]. Computer Engineering and Applications, 2018, 54(3): 46-49.
[2]	ZHOU Benjin, TAO Yizheng, JI Bin, XIE Yonghui. Optimizing k-means initial clustering centers by minimizing sum of squared error [J]. Computer Engineering and Applications, 2018, 54(15): 48-52.
[3]	WANG Jinying, WANG Yanping, QI Shuang. Improved rough intuitionistic fuzzy sets [J]. Computer Engineering and Applications, 2018, 54(11): 41-45.
[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]	MA Qiaoyun1, WU Hongbo2. Boole function representation of pseudo-metric among many-valued formula [J]. Computer Engineering and Applications, 2015, 51(23): 38-41.
[7]	ZHANG Kai. Research on dynamic emergency decision method based on case-based reasoning [J]. Computer Engineering and Applications, 2014, 50(23): 56-60.
[8]	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.
[9]	XING Changzheng, GU Hao. K-means algorithm based on average density optimizing initial cluster centre [J]. Computer Engineering and Applications, 2014, 50(20): 135-138.
[10]	LI Jun, ZHENG Gang. Theory of probabilistic truth degree of propositions in n-valued S-MTL logic system [J]. Computer Engineering and Applications, 2014, 50(2): 39-43.
[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 in £ukasiewicz 3-valued logic system

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

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics