Truth degree function on set of formulas in propositional logic system Ln

doi:10.3778/j.issn.1002-8331.2010.36.010

Computer Engineering and Applications ›› 2010, Vol. 46 ›› Issue (36): 37-39.DOI: 10.3778/j.issn.1002-8331.2010.36.010

• 研究、探讨 • Previous Articles Next Articles

Truth degree function on set of formulas in propositional logic system L_n

MA Li-na¹，LIU Shuo²，WANG Guo-jun¹

1.College of Mathematics and Information Science，Shaanxi Normal University，Xi’an 710062，China
2.Faculty of　Biomedical　Engineering，The Fourth Military Medical University，Xi’an 710032，China

Received:2010-07-20 Revised:2010-10-19 Online:2010-12-21 Published:2010-12-21
Contact: MA Li-na

命题逻辑系统L_n中公式集上的真度函数

马丽娜¹，刘烁²，王国俊¹

1.陕西师范大学数学与信息科学学院，西安 710062
2.第四军医大学生物医学工程系，西安 710032

通讯作者: 马丽娜

Abstract

Abstract: The purpose of this paper is to give an axiomatic definition of truth degree function on the set of formulas in n-valued Lukasiewicz propositional logic system and some properties of truth degree function are proved.The conceptions of similarity degree among formulas and a pseudo-metric on the set of formulas are defined by means of the concept of truth degree function.The logic metric space is built and a possible framework for approximate reasoning from the syntactical view is proposed.

Key words: truth degree function, similarity degree, pseudo-metric, logic metric space

摘要： 在n值Lukasiewicz命题逻辑系统中引入了公式集F（S）上真度函数的公理化定义，给出了真度函数的若干重要性质，利用真度函数从形式上定义了相似度和伪距离，建立了逻辑度量空间，为从语构的角度展开近似推理提供了一种可能的框架。

关键词: 真度函数, 相似度, 伪距离, 逻辑度量空间

CLC Number:

O142

MA Li-na¹，LIU Shuo²，WANG Guo-jun¹. Truth degree function on set of formulas in propositional logic system L_n[J]. Computer Engineering and Applications, 2010, 46(36): 37-39.

马丽娜¹，刘烁²，王国俊¹. 命题逻辑系统L_n中公式集上的真度函数[J]. 计算机工程与应用, 2010, 46(36): 37-39.

[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]	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]	LI Yan. Generalization of fundamental theorem of probability logic and its applications [J]. Computer Engineering and Applications, 2017, 53(1): 54-56.
[5]	ZHANG Chaoquan, LI Xiuqing. Distribution of randomized divergence degree of theory in 3-valued propositional logical system [J]. Computer Engineering and Applications, 2017, 53(1): 69-72.
[6]	WEI Haixin. Consistency degree of theory in n-valued Lukasiewicz propositional logic system [J]. Computer Engineering and Applications, 2016, 52(5): 33-35.
[7]	MENG Di, LI Jun. Convergence of sequence of formulas in n-valued propositional logic [J]. Computer Engineering and Applications, 2016, 52(22): 55-58.
[8]	YUAN Kaifeng. Distribution of randomized divergence degree in 2-valued propositional logic system [J]. Computer Engineering and Applications, 2016, 52(12): 49-52.
[9]	MA Qiaoyun1, WU Hongbo2. Boole function representation of pseudo-metric among many-valued formula [J]. Computer Engineering and Applications, 2015, 51(23): 38-41.
[10]	HE Xiaoli, SHE Yanhong. On topological characterization of consistency of logic theories in rough logic [J]. Computer Engineering and Applications, 2015, 51(2): 64-68.
[11]	ZHANG Kai. Research on dynamic emergency decision method based on case-based reasoning [J]. Computer Engineering and Applications, 2014, 50(23): 56-60.
[12]	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.
[13]	MA Qiaoyun. Transformation translation on n-ary classical logic metric space [J]. Computer Engineering and Applications, 2013, 49(6): 59-61.
[14]	LOU Zhigang1, LIU Hongzhao1, HU Mingdi2. Classical symmetrical logic metric sub-space and its properties [J]. Computer Engineering and Applications, 2013, 49(5): 40-43.
[15]	CHEN Yongping1, YANG Sichun2. Reduction of object-oriented concept lattices [J]. Computer Engineering and Applications, 2013, 49(19): 119-122.

Truth degree function on set of formulas in propositional logic system L_n

命题逻辑系统L_n中公式集上的真度函数

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics

Truth degree function on set of formulas in propositional logic system Ln

命题逻辑系统Ln中公式集上的真度函数

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics

Truth degree function on set of formulas in propositional logic system L_n

命题逻辑系统L_n中公式集上的真度函数