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

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

作　　者：娄妍[1] 冯飞 左卫兵[1] 

机构地区：[1]华北水利水电学院数学与信息科学学院,郑州450011

出　　处：《计算机工程与应用》2012年第33期63-67,共5页Computer Engineering and Applications

基　　金：河南省自然科学基金(No.112300410040);河南省教育厅自然科学基金(No.2011A110012)

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

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

分 类 号：O141[理学—数学] O159[理学—基础数学]