| Borel型概率计量逻辑 |
| |
| 引用本文： | 周红军,王国俊.Borel型概率计量逻辑[J].中国科学：信息科学,2011(11). |
| |
| 作者姓名： | 周红军 王国俊 |
| |
| 作者单位： | 陕西师范大学数学与信息科学学院; |
| |
| 基金项目： | 国家自然科学基金(批准号:61005046,10771129); 陕西省自然科学基础研究计划(批准号:2010JQ8020); 中央高校基本科研业务费专项资金(批准号:GK200902048)资助项目 |
| |
| 摘 要： | 视全体赋值之集为通常乘积拓扑空间,利用该空间上的Borel概率测度在二值命题逻辑中引入了公式的概率真度概念.该方法既克服了计量逻辑学要求赋值集上的概率测度必须为均匀概率测度的无穷可数乘积的局限,又弥补了概率逻辑学只讲局部而缺乏整体性的不足;证明了计量逻辑学中公式的真度、随机真度以及概率逻辑学中公式的概率等概念都可作为本文提出的概率真度的特例而纳入到统一的框架中,从而实现了计量逻辑学与概率逻辑学的融合与统一;证明了逻辑闭理论与赋值空间中的拓扑闭集是一一对应的以及概率真度函数与赋值空间上的Borel概率测度是一样多的等若干结论;本文的第4节给出了公式的概率真度的公理化定义,证明了公式集上满足Kolmogorov公理的任一0,1]值函数均可由赋值空间上的某Borel概率测度按本文的方法所表出,从而建立了二值命题逻辑框架下的概率计量逻辑的理论体系.
|
| 关 键 词： | 概率真度 有限分离性质 概率逻辑 计量逻辑 概率计量逻辑 |
Borel probabilistic and quantitative logic |
| |
| ZHOU HongJun & WANG GuoJun College of Mathematics , Information Science,Shaanxi Normal University,Xi'an ,China.Borel probabilistic and quantitative logic[J].Scientia Sinica Informationis,2011(11). |
| |
| Authors: | ZHOU HongJun & WANG GuoJun College of Mathematics Information Science Shaanxi Normal University Xi'an China |
| |
| Affiliation: | ZHOU HongJun & WANG GuoJun College of Mathematics and Information Science,Shaanxi Normal University,Xi'an 710062,China |
| |
| Abstract: | The present paper introduces the notion of the probabilistic truth degree of a formula by means of Borel probability measures on the set of all valuations,endowed with the usual product topology,in classical two-valued propositional logic.This approach not only overcomes the limitations of quantitative logic,which require the probability measures on the set of all valuations to be the countably infinite product of uniform probability measures,but also remedies the drawback that probability logic behaves onl... |
| |
| Keywords: | probabilistic truth degree finite separation property probability logic quantitative logic proba-bilistic and quantitative logic |
| 本文献已被 CNKI 等数据库收录！ |
