Graded Method of Lattice-Valued Logic Based on MV-Algebra Semantics
Zuo Wei-bin · 2013
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 propo sed with integral. Thus pseudometric in set of all propo sitions is induced, probability logic metric space is established in lattice-valued logic, and graded reasoning is developed. In summary, approx imate reasoning method in quantitative logic is expanded to lattice-valued logic, and it is feasible in graded in lattice-valued logic.