论文部分内容阅读
基于MV代数（Many—Valuedalgebra）语义，通过在MV代数赋值格和全体命题集上分别建立概率测度，利用积分方法提出了一种格值逻辑上命题的概率真度．由此可诱导出命题集上的伪距离，进而在格值逻辑上建立了概率逻辑度量空间并展开程度化推理．本文将计量逻辑学中近似推理方法推广到格值逻辑上，为格值逻辑的程度化提供了一种可行的方法．