%0 Journal Article
%T 基于MV代数语义的格值逻辑的程度化方法
%A 左卫兵
%J 电子学报
%P 2035-2040
%D 2013
%R 10.3969/j.issn.0372-2112.2013.10.026
%X 基于MV代数(Many-Valuedalgebra)语义,通过在MV代数赋值格和全体命题集上分别建立概率测度,利用积分方法提出了一种格值逻辑上命题的概率真度.由此可诱导出命题集上的伪距离,进而在格值逻辑上建立了概率逻辑度量空间并展开程度化推理.本文将计量逻辑学中近似推理方法推广到格值逻辑上,为格值逻辑的程度化提供了一种可行的方法.
%K MV代数
%K 格值逻辑
%K 概率真度
%K 概率逻辑度量空间
%K 近似推理
%U http://www.ejournal.org.cn/CN/abstract/abstract6940.shtml