概率逻辑学基本定理的推广及其应用

doi:10.3778/j.issn.1002-8331.1503-0076

计算机工程与应用 ›› 2017, Vol. 53 ›› Issue (1): 54-56.DOI: 10.3778/j.issn.1002-8331.1503-0076

概率逻辑学基本定理的推广及其应用

李燕

桂林航天工业学院信息工程系，广西桂林 541004

出版日期:2017-01-01 发布日期:2017-01-10

Generalization of fundamental theorem of probability logic and its applications

LI Yan

Department of Information Engineering, Guilin University of Aerospace Technology, Guilin, Guangxi 541004, China

Online:2017-01-01 Published:2017-01-10

摘要/Abstract

摘要： 利用赋值集的随机化方法，在[n]值命题逻辑系统中提出了公式的随机不可靠度概念，证明了一个有效推理结论的随机不可靠度不大于各前提的随机不可靠度与其必要度的乘积之和。通过推广的概率逻辑学基本定理，证明了随机逻辑度量空间中MP规则和HS规则成立。

关键词: 随机真度, 随机不可靠度, 随机伪距离, 随机逻辑度量空间

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.

Key words: random truth degree, random uncertainty degree, random pseudo-metric, random logic metric space

李燕. 概率逻辑学基本定理的推广及其应用[J]. 计算机工程与应用, 2017, 53(1): 54-56.

LI Yan. Generalization of fundamental theorem of probability logic and its applications[J]. Computer Engineering and Applications, 2017, 53(1): 54-56.

[1]	李修清，张超权. 逻辑理论的随机相容度[J]. 计算机工程与应用, 2018, 54(3): 46-49.
[2]	张超权，李修清. 三值命题逻辑系统中理论的随机发散度的分布[J]. 计算机工程与应用, 2017, 53(1): 69-72.
[3]	李修清. n值命题逻辑中的ξ-条件开放度[J]. 计算机工程与应用, 2016, 52(8): 25-28.
[4]	魏海新. n值Lukasiewicz命题逻辑系统中理论的相容度[J]. 计算机工程与应用, 2016, 52(5): 33-35.
[5]	袁凯峰. 二值逻辑系统中理论的随机发散度的分布[J]. 计算机工程与应用, 2016, 52(12): 49-52.
[6]	李修清. 命题公式的随机真度与推理规则[J]. 计算机工程与应用, 2015, 51(19): 66-70.
[7]	娄妍，冯飞，左卫兵. Lukasiewicz n值命题逻辑中公式的条件随机真度[J]. 计算机工程与应用, 2012, 48(33): 63-67.
[8]	李修清1，魏海新1，林亮2. 修正的[n]值G?del逻辑系统的随机化[J]. 计算机工程与应用, 2012, 48(24): 45-48.
[9]	亓正坤1，丁洁玉2，王廷明3. 二值命题逻辑中基于信息限制的随机真度[J]. 计算机工程与应用, 2012, 48(22): 51-53.
[10]	左卫兵1，程伟丽1，孟永胜2. 逻辑系统G3中命题的D3-随机真度理论[J]. 计算机工程与应用, 2011, 47(5): 35-36.
[11]	王庆平. n值标准逻辑系统中的随机化研究[J]. 计算机工程与应用, 2010, 46(30): 16-19.
[12]	李友雨，张兴芳，李绍勇，屠桂晶. n值乘积逻辑系统中的随机化研究[J]. 计算机工程与应用, 2010, 46(16): 35-38.
[13]	屠桂晶，张兴芳，李成允，李友雨. 三值乘积逻辑系统Π₃中的随机化研究[J]. 计算机工程与应用, 2010, 46(14): 34-38.
[14]	宋颖，张兴芳. n值命题逻辑中公式的随机真度[J]. 计算机工程与应用, 2010, 46(13): 31-33.
[15]	宋颖，张兴芳. Gödel n值命题逻辑中公式的α-随机真度理论[J]. 计算机工程与应用, 2009, 45(31): 40-42.

概率逻辑学基本定理的推广及其应用

Generalization of fundamental theorem of probability logic and its applications

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics