| Łukasiewicz 命题逻辑中命题的Borel 概率真度理论和极限定理 |
| |
| 引用本文： | 周红军.Łukasiewicz 命题逻辑中命题的Borel 概率真度理论和极限定理[J].软件学报,2012,23(9):2235-2247. |
| |
| 作者姓名： | 周红军 |
| |
| 作者单位： | 陕西师范大学数学与信息科学学院 |
| |
| 基金项目： | 国家自然科学基金(61005046);教育部高等学校博士学科点专项科研基金(20100202120012);陕西省自然科学基础研究计划(2010JQ8020) |
| |
| 摘 要： | 通过视赋值集为通常乘积拓扑空间,利用其上的Borel概率测度在n值及连续值■ukasiewicz命题逻辑系统中引入了命题的Borel概率真度概念,讨论了它的基本性质,特别是给出了n值情形中概率真度函数的积分表示定理,并得到了其与连续情形概率真度函数之间关系的一个极限定理.结果表明,计量逻辑学中命题的真度概念只是所研究工作的一个特例,因而基于概率真度概念可以为不确定性推理建立一种更为宽泛的计量化模型.
|
| 关 键 词： | ■ukasiewicz命题逻辑 Borel概率测度 概率真度 极限定理 |
| 收稿时间： | 2010/8/20 0:00:00 |
| 修稿时间： | 2011/11/2 0:00:00 |
Theory of Borel Probability Truth Degrees of Propositions in Łukasiewicz Propositional Logics and a Limit Theorem |
| |
| ZHOU Hong-Jun.Theory of Borel Probability Truth Degrees of Propositions in Łukasiewicz Propositional Logics and a Limit Theorem[J].Journal of Software,2012,23(9):2235-2247. |
| |
| Authors: | ZHOU Hong-Jun |
| |
| Affiliation: | ZHOU Hong-Jun(College of Mathematics and Information Science,Shaanxi Normal University,Xi’an 710062,China) |
| |
| Abstract: | 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 -valued ■ukasiewicz 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. |
| |
| Keywords: | ■ukasiewicz propositional logic Borel probability measure probability truth degree limit theorem |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
