逻辑系统G3中命题的D3-随机真度理论

计算机工程与应用 ›› 2011, Vol. 47 ›› Issue (5): 35-36.

逻辑系统G3中命题的D3-随机真度理论

左卫兵1，程伟丽1，孟永胜2

1.华北水利水电学院数学与信息科学学院，郑州 450011
2.武陟县木城初中，河南焦作 454950

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2011-02-11 发布日期:2011-02-11

D3-randomized truth degree of formulas in logic system Godel 3

ZUO Weibing1，CHENG Weili1，MENG Yongsheng2

1.School of Mathematics and Information Science，North China Institute of Water Resources and Electric Power，Zhengzhou 450011，China
2.Mucheng Middle School of Wuzhi，Jiaozuo，Henan 454950，China

Received:1900-01-01 Revised:1900-01-01 Online:2011-02-11 Published:2011-02-11

摘要/Abstract

摘要： 通过引入随机向量序列对赋值集进行随机化，在逻辑系统G3中提出了公式的D3-随机真度的概念，证明了全体公式的D3-随机真度之集在[0，1]中没有孤立点；提出了D3-相似度和D3-伪距离，证明了在D3-逻辑度量空间中没有孤立点；在D3-逻辑度量空间中提出3种不同类型的近似推理模式；引入公式间的相容与独立的概念，研究了其关系。为进一步研究随机推理奠定了基础。

关键词: 随机向量序列, D3-随机真度, D3-相似度, 近似推理, 独立性

Abstract:

By means of randomization，the concept of D3-randomized truth degree of formulas in logic system Godel 3 is introduced；it is proved that the set of values of D3-randomized truth degree of formulas has no isolated point in [0，1].The concepts of D3-similarity degree and D3-pseudo-metric are also introduced；it is proved that there is no isolated point in D3-logic metric space.Three different types of approximate reasoning patterns are proposed in D3-logic metric space.The theories of consistency and independence of formulas are developed.

Key words: randomized vector sequence, D3-randomized truth degree, D3-similarity degree, approximate reasoning, independence

左卫兵1，程伟丽1，孟永胜2. 逻辑系统G3中命题的D3-随机真度理论[J]. 计算机工程与应用, 2011, 47(5): 35-36.

ZUO Weibing1，CHENG Weili1，MENG Yongsheng2. D3-randomized truth degree of formulas in logic system Godel 3[J]. Computer Engineering and Applications, 2011, 47(5): 35-36.

[1]	王强，郑松，徐傲，葛铭. 多学科协同优化算法的分析和改进[J]. 计算机工程与应用, 2016, 52(23): 55-59.
[2]	陈海洋，毛蕊蕊，聂弘颖. 单元化单隐变量变结构DDBN推理算法[J]. 计算机工程与应用, 2015, 51(17): 128-133.
[3]	李骏，郑刚. n值S-MTL逻辑系统中命题的Borel概率真度理论[J]. 计算机工程与应用, 2014, 50(2): 39-43.
[4]	马晓珏，李立峰. 一类特殊的粗糙逻辑代数的不确定性度量[J]. 计算机工程与应用, 2013, 49(3): 150-151.
[5]	娄妍，冯飞，左卫兵. Lukasiewicz n值命题逻辑中公式的条件随机真度[J]. 计算机工程与应用, 2012, 48(33): 63-67.
[6]	陈一虎. 基于互信息的贝叶斯网络结构学习算法[J]. 计算机工程与应用, 2012, 48(13): 39-43.
[7]	张子栋1，2，闫林1，闫硕3. 基于上近似的近似推理[J]. 计算机工程与应用, 2011, 47(9): 29-32.
[8]	许格妮. 系统L在非均匀概率空间下命题的真度理论[J]. 计算机工程与应用, 2010, 46(36): 53-55.
[9]	王廷明. 二值命题逻辑中Γ限制蕴涵度量与近似推理[J]. 计算机工程与应用, 2010, 46(35): 36-38.
[10]	周浪^1，2，冯冲²，黄河燕²，王平尧³. 一种基于独立性统计的子串归并算法[J]. 计算机工程与应用, 2010, 46(24): 129-131.
[11]	杜会锋，刘琼荪. 基于Copula的贝叶斯分类器[J]. 计算机工程与应用, 2010, 46(10): 111-112.
[12]	王廷明. 二值命题逻辑中基于条件真度的近似推理[J]. 计算机工程与应用, 2009, 45(9): 51-52.
[13]	左卫兵. n值命题逻辑中的P-随机真度及近似推理[J]. 计算机工程与应用, 2009, 45(7): 42-43.
[14]	韩邦合^1，2，李永明^1，3. 计量逻辑学中的收敛理论[J]. 计算机工程与应用, 2009, 45(30): 4-5.
[15]	韩邦合^1，2，李永明^1，3 . 计量逻辑学中的误差累计理论 [J]. 计算机工程与应用, 2009, 45(23): 9-10.