二值谓词逻辑中公式的向量真度

Abstract
Figure/Table
References (18)
Related Citation (1)

Download: PDF (337 KB) HTML (1 KB)
Export: BibTeX | EndNote (RIS)

Abstract

All of the finite interpretations of first-order languages are considered in layers according to their cardinalities for the first time, and n-truth degrees of formulae under each layer of the class of interpretations are proposed.Then, the definition of the vector truth degrees of formulae is given to describe the truth degrees of first-order formulae more intuitively and more accurately. Moreover, some basic properties are proved, and it is pointed out that the vector truth degrees of formulae preserve Modus Ponens(MP) rule, Hypothetical Syllogism(HS) rule and rule of generalization(Gen) of the formal reasoning in the predicate logic. Thus, a kind of possible frame for approximate reasoning in predicate logic system is provided.

Key words： Quantitative Logic Vector Truth Degree Quasi-Truth Degree Probability Measure

Received: 08 November 2012

	Service

	E-mail this article
	Add to my bookshelf
	Add to citation manager
	E-mail Alert
	RSS
	Articles by authors
	QIN Xiao-Yan
	XU Yang
	LIU Yi

Cite this article:

QIN Xiao-Yan,XU Yang,LIU Yi. Vector Truth Degrees of Formulae in Two-Valued Predicate Logic[J]. , 2013, 26(8): 740-744.

URL:

http://manu46.magtech.com.cn/Jweb_prai/EN/ OR http://manu46.magtech.com.cn/Jweb_prai/EN/Y2013/V26/I8/740

[1] Rosser J B, Turquette A R. Many-Valued Logics. Amsterdam, Ho-lland: North-Holland Publishing Company, 1952
[2] Pavelka J. On Fuzzy Logic I: Many-Valued Rules of Inference. Mathematical Logic Quarterly, 1979, 25: 45-52
[3] Pavelka J. On Fuzzy Logic II: Enriched Residuated Lattices and Semantics of Propositional Calculi. Mathematical Logic Quarterly, 1979, 25: 119-134
[4] Pavelka J. On Fuzzy Logic III:Semantical Completeness of Some Many-Valued Propositional Calculi. Mathematical Logic Quarterly, 1979, 25: 447-464
[5] Wang Guojun, Fu Li, Song Jianshe. Theory of Truth Degrees of Propositions in Two-Valued Propositional Logic. Science in China: Series A, 2001, 31(11): 998-1008 (in Chinese)
(王国俊,傅丽,宋建设.二值命题逻辑中命题的真度理论.中国科学: A辑, 2001, 31(11): 998-1008)
[6] Li Jun, Wang Guojun. Theory of Truth Degrees of Propositions in the Logic System L_n^*. Science in China: Series F, 2006, 49(4): 471-483
[7] Li Bijing, Wang Guojun. Theory of Truth Degrees of Formulas in Lukasiewicz n-Valued Propositional Logic and a Limit Theorem. Science in China: Series F, 2005, 48(6): 727-736
[8] Wang Guojun, Duan Qiaolin. Theory of (n) Truth Degrees of Formulas in Modal Logic and a Consistency Theorem. Science in China: Series F, 2009, 52(1): 70-83
[9] Wang Guojun, Gao Xiangni. Truth Degree of a Logic Theory in Propositional Logic System and Its Application. Journal of Shaanxi Normal University: Natural Science Edition, 2009, 37(5): 1-6(in Chinese)
(王国俊,高香妮.命题逻辑系统中理论的真度概念及其应用.陕西师范大学学报:自然科学版, 2009, 37(5): 1-6)
[10] Cui Meihua. The Randomized Truth Degree of Formulas and Approximate Reasoning in n-Valued Lukasiewicz Propositional Logic System. Acta Mathematicae Applicatae Sinica, 2012, 35(2): 209-220 (in Chinese)
(崔美华.n值Lukasiewicz命题逻辑系统中公式的随机真度及近似推理.应用数学学报, 2012, 35(2): 209-220)
[11] Wang Guojun, Hui Xiaojing. Randomization of Classical Inference Patterns and Its Application. Science in China: Series F, 2007, 50(6): 867-877
[12] Zhou Hongjun, Wang Guojun. Borel Probabilistic and Quantitative Logic. Science in China: Series F, 2011, 54(9): 1843-1854
[13] Wang Guojun, Zhou Hongjun. Quantitative Logic. Information Science, 2009, 179(4): 226-247
[14] Hájek P. Metamathematics of Fuzzy Logic. London,UK: Kluwer Academic Publishers, 1998
[15] Wang Guojun, Qin Xiaoyan, Zhou Xiangnan. Theory of Quasi-Truth Degrees of Formulas in Two-Valued Predicate Logic. Journal of Shaanxi Normal University: Natural Science Edition, 2005, 33(1): 1-6 (in Chinese)
(王国俊,秦晓燕,周湘南.一类二值谓词逻辑中公式的准真度理论.陕西师范大学学报:自然科学版, 2005, 33(1): 1-6)
[16] Wang Guojun, Qin Xiaoyan, Zhou Xiangnan. An Intrinsic Fuzzy Set on the Universe of Discourse of Predicate Formulas. Fuzzy Sets and Systems, 2006, 157(24): 3145-3158
[17] Qin Xiaoyan, Liu Jun, Xu Yang, et al. Theory of Approximate Reasoning in Two-Valued Predicate Logic Based on the Quasi-Truth Degrees. Journal of Donghua University: English Edition, 2012, 29(1): 23-27
[18] Halmos P R. Measure Theory. New York, USA: Springer-Verlag, 1974