%0 Journal Article
%T Boole语义的程度化方法
%A 左卫兵
%J 电子学报
%P 441-447
%D 2012
%R 10.3969/j.issn.0372-2112.2012.03.005
%X 基于B-赋值理论,通过在Boole赋值格和全体公式集上分别建立概率测度,利用积分方法提出了Boole语义上公式的B-概率真度,进而在Boole语义上建立了概率逻辑度量空间,将计量逻辑学中近似推理方法推广到Boole语义上,完善了Boole语义的程度化方法.
%K Boole语义
%K B-赋值
%K B-概率真度
%K 概率逻辑度量空间
%K 近似推理
%U http://www.ejournal.org.cn/CN/abstract/abstract6045.shtml