概率逻辑学基本定理的推广及其应用 |
| |
作者单位: | ;1.桂林航天工业学院信息工程系 |
| |
摘 要: | 利用赋值集的随机化方法,在n值命题逻辑系统中提出了公式的随机不可靠度概念,证明了一个有效推理结论的随机不可靠度不大于各前提的随机不可靠度与其必要度的乘积之和。通过推广的概率逻辑学基本定理,证明了随机逻辑度量空间中MP规则和HS规则成立。
|
关 键 词: | 随机真度 随机不可靠度 随机伪距离 随机逻辑度量空间 |
Generalization of fundamental theorem of probability logic and its applications |
| |
Abstract: | |
| |
Keywords: | |
|
|