Lukasiewicz n值命题逻辑中公式的条件随机真度

计算机工程与应用 ›› 2012, Vol. 48 ›› Issue (33): 63-67.

Lukasiewicz n值命题逻辑中公式的条件随机真度

娄妍，冯飞，左卫兵

华北水利水电学院数学与信息科学学院，郑州 450011

出版日期:2012-11-21 发布日期:2012-11-20

Conditional randomized truth degree of formulas in Lukasiewicz n-valued propositional logic

LOU Yan, FENG Feiyan, ZUO Weibing

School of Mathematics and Information Science, North China University of Water Resources and Electric Power, Zhengzhou 450011, China

Online:2012-11-21 Published:2012-11-20

摘要/Abstract

摘要： 基于条件概率的思想，利用赋值集的随机化方法，在Lukasiewicz n值命题逻辑系统中引入公式的条件随机真度，证明了条件随机真度的MP规则和HS规则。引入公式间的条件随机相似度和条件伪距离，建立了条件随机逻辑度量空间，推导出条件伪距离的若干性质，证明了条件随机逻辑度量空间中逻辑运算的连续性，初步研究了给定条件下的近似推理理论。

关键词: 条件随机真度, 条件随机相似度, 条件随机逻辑度量空间, 近似推理

Abstract: Based on conditional probability, using the randomization method of valuation set, the concept of conditional randomized truth degree of formulas is introduced in the Lukasiewicz n-valued propositional logic. The MP rule and HS rule of conditional randomized truth degrees are proved. The concepts of conditional randomized similarity and conditional pseudo-metric between formulas are introduced and conditional randomized logic metric space is built. Several properties of conditional pseudo-metric are deduced and it is proved that the logical operations are continuous on conditional randomized logic metric space. The theory of approximate reasoning under certain information is given out.

Key words: conditional randomized truth degree, conditional randomized similarity, conditional randomized logic metric space, approximate reasoning

娄妍，冯飞，左卫兵. Lukasiewicz n值命题逻辑中公式的条件随机真度[J]. 计算机工程与应用, 2012, 48(33): 63-67.

LOU Yan, FENG Feiyan, ZUO Weibing. Conditional randomized truth degree of formulas in Lukasiewicz n-valued propositional logic[J]. Computer Engineering and Applications, 2012, 48(33): 63-67.

[1]	陈海洋，毛蕊蕊，聂弘颖. 单元化单隐变量变结构DDBN推理算法[J]. 计算机工程与应用, 2015, 51(17): 128-133.
[2]	李骏，郑刚. n值S-MTL逻辑系统中命题的Borel概率真度理论[J]. 计算机工程与应用, 2014, 50(2): 39-43.
[3]	马晓珏，李立峰. 一类特殊的粗糙逻辑代数的不确定性度量[J]. 计算机工程与应用, 2013, 49(3): 150-151.
[4]	张子栋1，2，闫林1，闫硕3. 基于上近似的近似推理[J]. 计算机工程与应用, 2011, 47(9): 29-32.
[5]	左卫兵1，程伟丽1，孟永胜2. 逻辑系统G3中命题的D3-随机真度理论[J]. 计算机工程与应用, 2011, 47(5): 35-36.
[6]	许格妮. 系统L在非均匀概率空间下命题的真度理论[J]. 计算机工程与应用, 2010, 46(36): 53-55.
[7]	王廷明. 二值命题逻辑中Γ限制蕴涵度量与近似推理[J]. 计算机工程与应用, 2010, 46(35): 36-38.
[8]	王廷明. 二值命题逻辑中基于条件真度的近似推理[J]. 计算机工程与应用, 2009, 45(9): 51-52.
[9]	左卫兵. n值命题逻辑中的P-随机真度及近似推理[J]. 计算机工程与应用, 2009, 45(7): 42-43.
[10]	韩邦合^1，2，李永明^1，3. 计量逻辑学中的收敛理论[J]. 计算机工程与应用, 2009, 45(30): 4-5.
[11]	韩邦合^1，2，李永明^1，3 . 计量逻辑学中的误差累计理论 [J]. 计算机工程与应用, 2009, 45(23): 9-10.
[12]	程天笑，潘正华，王岑. 基于中介逻辑的近似推理[J]. 计算机工程与应用, 2009, 45(21): 163-166.
[13]	夏博龄,贺正洪,雷英杰. 直觉模糊近似推理中的可信度传播[J]. 计算机工程与应用, 2009, 45(15): 160-162.
[14]	石玉强¹,王鸿绪². 基于模糊近似推理的Vague集双向近似推理方法[J]. 计算机工程与应用, 2008, 44(6): 172-174.
[15]	惠小静^1,2. 三种近似推理模式的等价性[J]. 计算机工程与应用, 2008, 44(27): 56-57.