Computer Engineering and Applications ›› 2012, Vol. 48 ›› Issue (33): 63-67.
Previous Articles Next Articles
LOU Yan, FENG Feiyan, ZUO Weibing
Online:
Published:
娄 妍,冯飞,左卫兵
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值命题逻辑系统中引入公式的条件随机真度,证明了条件随机真度的MP规则和HS规则。引入公式间的条件随机相似度和条件伪距离,建立了条件随机逻辑度量空间,推导出条件伪距离的若干性质,证明了条件随机逻辑度量空间中逻辑运算的连续性,初步研究了给定条件下的近似推理理论。
关键词: 条件随机真度, 条件随机相似度, 条件随机逻辑度量空间, 近似推理
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.
娄 妍,冯飞,左卫兵. Lukasiewicz n值命题逻辑中公式的条件随机真度[J]. 计算机工程与应用, 2012, 48(33): 63-67.
0 / Recommend
Add to citation manager EndNote|Ris|BibTeX
URL: http://cea.ceaj.org/EN/
http://cea.ceaj.org/EN/Y2012/V48/I33/63