Gdeln值命题逻辑中命题的α-真度理论.PDFVIP

ISSN 1000-9825, CODEN RUXUEW E-mail: jos@ Journal of Software, Vol.18, No.1, January 2007, pp .33−39 http://www.j DOI: 10. 1360/jos1 80033 Tel/Fax : +86-10 © 2007 by Journal of Software. All rights reserved. ∗ Gödel n 值命题逻辑中命题的α-真度理论 1,2+ 1 李 骏 , 王国俊 1( 陕西师范大学 数学与信息科学学院,陕西 西安 710062) 2(兰州理工大学 理学院,甘肃 兰州 730050) Theory of α-Truth Degrees in n-Valued Gödel Propositional Logic LI Jun1,2+, WANG Guo-Jun1 1(College of Mathematics and Information Science, Shaanxi Normal University, Xi’an 710062, China) 2(School of Science, Lanzhou University of Technology, Lanzhou 730050, China) + Corresponding author: Phn: +86-29 E-mail: lijun@ Li J, Wang GJ. Theory of α-truth degrees in n-valued Gödel propositional logic. Journal of Software, 2007, 18(1):33−39. /1000-9825/18/33.htm Abstract: In order to establish a graded reasoning mechanism and provide a possible framework for approximate reasoning in n-valued propositional logic, this paper introduces the concept of α-truth degrees of propositions in n-valued Gödel logical system by using the infinite product of uniformly distributed probability spaces of cardinal n. It is proved that the general inference rules with truth degrees hold, and a sufficient and necessary condition to judge α-tautology is obtained. Moreover, an intrinsic pseudo-metric on the set of propositions is defined by means of the similarity degree between propositions, which makes it possible to develop approximate reasoning in n-valued propositional logic. The graded method proposed in this paper lays a foundation for the