Theory of α-truth degrees in n-valued Gödel propositional logic

doi:10.1360/jos180033

CORC > 兰州理工大学 > 兰州理工大学 > 理学院

	Theory of α-truth degrees in n-valued Gödel propositional logic
	Li, Jun 1,2; Wang, Guo-Jun 2
刊名	Ruan Jian Xue Bao/Journal of Software
	2007
卷号	18 期号:1 页码:33-39
关键词	Artificial intelligence Computer science Probabilistic logics Algorithmic realization Approximate reasoning Inference rule Infinite product Logical system Probability spaces Propositional logic Pseudo metric Reasoning mechanism Similarity degree Truth degree
ISSN号	10009825
DOI	10.1360/jos180033
英文摘要	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 Godel 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 algorithmic realization of approximate reasoning and serves as a guideline for the graded reasoning about knowledge.
语种	中文
出版者	Chinese Academy of Sciences, P.O. Box 8718, Beijing, 100080, China
内容类型	期刊论文
源URL	[http://ir.lut.edu.cn/handle/2XXMBERH/112260]
专题	理学院
作者单位	1.School of Science, Lanzhou University of Technology, Lanzhou 730050, China 2.College of Mathematics and Information Science, Shaanxi Normal University, Xi'an 710062, China;
推荐引用方式 GB/T 7714	Li, Jun,Wang, Guo-Jun. Theory of α-truth degrees in n-valued Gödel propositional logic[J]. Ruan Jian Xue Bao/Journal of Software,2007,18(1):33-39.
APA	Li, Jun,&Wang, Guo-Jun.(2007).Theory of α-truth degrees in n-valued Gödel propositional logic.Ruan Jian Xue Bao/Journal of Software,18(1),33-39.
MLA	Li, Jun,et al."Theory of α-truth degrees in n-valued Gödel propositional logic".Ruan Jian Xue Bao/Journal of Software 18.1(2007):33-39.