%0 Journal Article
%T MTL代数语义上逻辑公式的概率真度
%A 左卫兵
%J 电子学报
%P 293-298
%D 2015
%R 10.3969/j.issn.0372-2112.2015.02.014
%X 基于L-赋值理论,通过在MTL代数赋值格和全体公式集上分别建立概率测度,利用积分方法提出了MTL代数语义上公式的概率真度.证明了概率真度的MP规则、HS规则及交推理规则;同时引入公式间的概率相似度和伪距离,建立了概率逻辑度量空间.将计量逻辑学中的相关理论推广到基于MTL代数语义的格值逻辑上,使得在格值逻辑上进行程度化推理成为可能.
%K MTL代数
%K L-赋值
%K 概率真度
%K 概率逻辑度量空间
%K 程度化推理
%U http://www.ejournal.org.cn/CN/abstract/abstract8805.shtml