摘要：基于B-赋值理论,通过在Boole赋值格和全体公式集上分别建立概率测度,利用积分方法提出了Boole语义上公式的B-概率真度,进而在Boole语义上建立了概率逻辑度量空间,将计量逻辑学中近似推理方法推广到Boole语义上,完善了Boole语义的程度化方法.

关键词：boole语义 概率逻辑度量空间 近似推理 

单位：华北水利水电学院数学与信息科学学院; 河南郑州450046