摘要:基于MV代数(Many—Valuedalgebra)语义,通过在MV代数赋值格和全体命题集上分别建立概率测度,利用积分方法提出了一种格值逻辑上命题的概率真度.由此可诱导出命题集上的伪距离,进而在格值逻辑上建立了概率逻辑度量空间并展开程度化推理.本文将计量逻辑学中近似推理方法推广到格值逻辑上,为格值逻辑的程度化提供了一种可行的方法.
关键词:mv代数 格值逻辑 概率真度 概率逻辑度量空间 近似推理
单位:华北水利水电大学数学与信息科学学院; 河南郑州450043
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社