Boole语义的程度化方法
DOI: 10.3969/j.issn.0372-2112.2012.03.005, PP. 441-447
Keywords: Boole语义,B-赋值,B-概率真度,概率逻辑度量空间,近似推理
Abstract:
基于B-赋值理论,通过在Boole赋值格和全体公式集上分别建立概率测度,利用积分方法提出了Boole语义上公式的B-概率真度,进而在Boole语义上建立了概率逻辑度量空间,将计量逻辑学中近似推理方法推广到Boole语义上,完善了Boole语义的程度化方法.
Full-Text
