| 概率逻辑学基本定理的推广及其应用 |
| |
| 引用本文： | 李 燕. 概率逻辑学基本定理的推广及其应用[J]. 计算机工程与应用, 2017, 53(1): 54-56. DOI: 10.3778/j.issn.1002-8331.1503-0076 |
| |
| 作者姓名： | 李 燕 |
| |
| 作者单位： | 桂林航天工业学院 信息工程系，广西 桂林 541004 |
| |
| 摘 要： | 利用赋值集的随机化方法，在[n]值命题逻辑系统中提出了公式的随机不可靠度概念，证明了一个有效推理结论的随机不可靠度不大于各前提的随机不可靠度与其必要度的乘积之和。通过推广的概率逻辑学基本定理，证明了随机逻辑度量空间中MP规则和HS规则成立。
|
| 关 键 词： | 随机真度 随机不可靠度 随机伪距离 随机逻辑度量空间 |
Generalization of fundamental theorem of probability logic and its applications |
| |
| LI Yan. Generalization of fundamental theorem of probability logic and its applications[J]. Computer Engineering and Applications, 2017, 53(1): 54-56. DOI: 10.3778/j.issn.1002-8331.1503-0076 |
| |
| Authors: | LI Yan |
| |
| Affiliation: | Department of Information Engineering, Guilin University of Aerospace Technology, Guilin, Guangxi 541004, China |
| |
| Abstract: | By means of randomization, the concept of random truth degree and random uncertainty degree of formulas in [n]-valued propositional logical system are introduced. It is proved that the uncertainty degree of conclusion is less than or equal to the sum of the product of uncertainty degree of every premise and its essentialness degree in formal inference. The MP，HS rules are proved by the generalization of fundamental theorem of probability logic. |
| |
| Keywords: | random truth degree random uncertainty degree random pseudo-metric random logic metric space |
|
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
