■ukasiewicz命题逻辑中命题的Borel概率真度理论和极限定理  

Theory of Borel Probability Truth Degrees of Propositions in ■ukasiewicz Propositional Logics and a Limit Theorem

作　　者：周红军[1] 

机构地区：[1]陕西师范大学数学与信息科学学院,陕西西安710062

出　　处：《软件学报》2012年第9期2235-2247,共13页Journal of Software

基　　金：国家自然科学基金(61005046);教育部高等学校博士学科点专项科研基金(20100202120012);陕西省自然科学基础研究计划(2010JQ8020)

摘　　要：通过视赋值集为通常乘积拓扑空间,利用其上的Borel概率测度在n值及连续值■ukasiewicz命题逻辑系统中引入了命题的Borel概率真度概念,讨论了它的基本性质,特别是给出了n值情形中概率真度函数的积分表示定理,并得到了其与连续情形概率真度函数之间关系的一个极限定理.结果表明,计量逻辑学中命题的真度概念只是所研究工作的一个特例,因而基于概率真度概念可以为不确定性推理建立一种更为宽泛的计量化模型.By means of Borel probability measures on the valuation set endowed with the usual product topology, the notion of probability truth degrees of propositions in n-valued and [0,1 ]-valued Lukasiewicz propositional logics is introduced. Its basic properties are investigated, and the integral representation theorem and the limit theorem of probability truth degree functions in n-valued case, in particular, are obtained. Theses results show that the notion of truth degree existing in quantitative logic is just a particular case of Borel probability truth degrees, and a more general quantitative model based on the notion of Borel probability truth degree for uncertainty reasoning can be then established.

关 键 词：■ukasiewicz命题逻辑 Borel概率测度 概率真度 极限定理 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]