论文研究 Lukasiewicz n值命题逻辑中公式的条件随机真度.pdf

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