基于MV代数语义的格值逻辑的程度化方法.pdfVIP

第 10期 电 子 学 报 vo1．41 No．10 2013年 lO月 ACTAE【C玎 ONICASINICA Oct． 20l3 基于MV代数语义的格值逻辑的程度化方法 左卫兵 (华北水利水电大学数学与信息科学学院，河南郑州 450043) 摘 要 ：基于 MV代数(Many—Valuedalgebra)语义，通过在 MV代数赋值格和全体命题集上分别建立概率测度，利 用积分方法提出了一种格值逻辑上命题的概率真度．由此可诱导出命题集上的伪距离，进而在格值逻辑上建立了概率 逻辑度量空间并展开程度化推理．本文将计量逻辑学中近似推理方法推广到格值逻辑上，为格值逻辑的程度化提供了 一 种可行的方法 ． 关键词 ： MV代数；格值逻辑 ；概率真度；概率逻辑度量空间；近似推理 中图分类号 ： 0141．1；O189．2