|
软件学报 2012
?ukasiewicz命题逻辑中命题的borel概率真度理论和极限定理DOI: 10.3724/SP.J.1001.2012.04179, PP. 2235-2247 Keywords: ?,ukasiewicz,命题逻辑,borel,概率测度,概率真度,极限定理 Abstract: 通过视赋值集为通常乘积拓扑空间,利用其上的borel概率测度在n值及连续值?ukasiewicz命题逻辑系统中引入了命题的borel概率真度概念,讨论了它的基本性质,特别是给出了n值情形中概率真度函数的积分表示定理,并得到了其与连续情形概率真度函数之间关系的一个极限定理.结果表明,计量逻辑学中命题的真度概念只是所研究工作的一个特例,因而基于概率真度概念可以为不确定性推理建立一种更为宽泛的计量化模型.
|