基于MV代数(Many-Valued algebra )语义,通过在MV代数赋值格和全体命题集上分别建立概率测度,利用积分方法提出了一种格值逻辑上命题的概率真度。由此可诱导出命题集上的伪距离,进而在格值逻辑上建立了概率逻辑度量空间并展开程度化推理。本文将计量逻辑学中近似推理方法推广到格值逻辑上,为格值逻辑的程度化提供了一种可行的方法。%Based on the notion of MV-algebra semantics ,probability measure is set up in MV-algebra evaluation lattice and set of all propositions ,and a probability truth degree of propositions in lattice-valued logic is proposed with integral .Thus pseudo-metric in set of all propositions is induced ,probability logic metric space is established in lattice-valued logic ,and graded reasoning is developed .In summary ,approximate reasoning method in quantitative logic is expanded to lattice-valued logic ,and it is feasible in graded in lattice-valued logic .
展开▼