Graded method of propositions in n-valued logical system MTLn

Computer Engineering and Applications ›› 2007, Vol. 43 ›› Issue (21): 4-7.

• 博士论坛 • Previous Articles Next Articles

Graded method of propositions in n-valued logical system MTLn

LI Jun^1,2，WANG Guo-jun²，ZHOU Yan³

1.School of Science，Lanzhou University of Technology，Lanzhou 730050，China
2.Institute of Mathematics，Shaanxi Normal University，Xi’an 710062，China
3.Military Operational Reasearch and Teaching Section，Xi’an Military Academy，Xi’an 710108，China

Received:1900-01-01 Revised:1900-01-01 Online:2007-07-21 Published:2007-07-21
Contact: LI Jun

n值逻辑系统MTL_n中命题的程度化方法

李骏^1,2，王国俊²，周艳³

1.兰州理工大学理学院，兰州 730050
2.陕西师范大学数学研究所，西安 710062
3.西安陆军学院军事运筹教研室，西安 710108

通讯作者: 李骏

Abstract

Abstract: By means of the infinite product of evenly distributed probability space，this paper introduces the theory ofα-truth degrees in n-valued propositional logical system MTLn，also，general reference rules with truth degrees are obtained.Moreover，a pseudo-metric on the set of propositions is defined by means of the concept of truth degrees of propositions and this make it possible to develop approximate reasoning in n-valued proposition logic system MTLn.

Key words: α-truth degree, truth degree, similarity degree, Pseudo-metric, approximate reasoning

摘要： 基于均匀概率空间的无穷乘积，在n值命题逻辑系统MTLn中引入命题的?琢-真度概念，给出了一般真度推理规则；利用命题的α-真度定义了命题间的α-相似度，进而导出命题集上的一种伪距离，使得在n值命题逻辑系统MTLn中展开近似推理成为可能。

关键词: α-真度, 真度, 相似度, 伪距离, 近似推理

LI Jun^1,2，WANG Guo-jun²，ZHOU Yan³. Graded method of propositions in n-valued logical system MTLn[J]. Computer Engineering and Applications, 2007, 43(21): 4-7.

李骏^1,2，王国俊²，周艳³. n值逻辑系统MTL_n中命题的程度化方法[J]. 计算机工程与应用, 2007, 43(21): 4-7.

[1]	QIN Xiaoyan. Quasi-Truth Degree of First-Order Formula After Using Generalization Rule [J]. Computer Engineering and Applications, 2019, 55(6): 39-41.
[2]	LI Xiuqing, ZHANG Chaoquan. Randomized consistency degree in logic theory [J]. Computer Engineering and Applications, 2018, 54(3): 46-49.
[3]	WANG Yongyong, HUI Xiaojing. Average truth degree of Gödel[n]-valued propositional logic system with[Δ]operator [J]. Computer Engineering and Applications, 2018, 54(19): 68-71.
[4]	WANG Jinying, WANG Yanping, QI Shuang. Improved rough intuitionistic fuzzy sets [J]. Computer Engineering and Applications, 2018, 54(11): 41-45.
[5]	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.
[6]	LI Yan. Generalization of fundamental theorem of probability logic and its applications [J]. Computer Engineering and Applications, 2017, 53(1): 54-56.
[7]	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.
[8]	LI Xiuqing. ξ-conditional opening degree in n-valued propositional logic system [J]. Computer Engineering and Applications, 2016, 52(8): 25-28.
[9]	WEI Haixin. Consistency degree of theory in n-valued Lukasiewicz propositional logic system [J]. Computer Engineering and Applications, 2016, 52(5): 33-35.
[10]	LI Jun, LI Xiaobing. Average truth degree and deviation of theory in Lukasiewicz logical system [J]. Computer Engineering and Applications, 2016, 52(4): 42-45.
[11]	MENG Di, LI Jun. Convergence of sequence of formulas in n-valued propositional logic [J]. Computer Engineering and Applications, 2016, 52(22): 55-58.
[12]	YUAN Kaifeng. Distribution of randomized divergence degree in 2-valued propositional logic system [J]. Computer Engineering and Applications, 2016, 52(12): 49-52.
[13]	MA Qiaoyun. [ΣΓ]-fuzzy truth degree of some special formulas in logic system [L?n] [J]. Computer Engineering and Applications, 2016, 52(11): 34-37.
[14]	MA Qiaoyun1, WU Hongbo2. Boole function representation of pseudo-metric among many-valued formula [J]. Computer Engineering and Applications, 2015, 51(23): 38-41.
[15]	LI Xiuqing. Randomized truth degree and inference rules of proposition formulas [J]. Computer Engineering and Applications, 2015, 51(19): 66-70.

Graded method of propositions in n-valued logical system MTLn

n值逻辑系统MTL_n中命题的程度化方法

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics

Graded method of propositions in n-valued logical system MTLn

n值逻辑系统MTLn中命题的程度化方法

PDF

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics

n值逻辑系统MTL_n中命题的程度化方法