Graded method of lattice-valued logic based on MV-algebra semantics

被引：0

作者：

机构：

[1] Department of Mathematics and Information Science, North China University of Water Resources and Electric Power, Zhengzhou

来源：

Zuo, W.-B. (zuoweibing@ncwu.edu.cn) | 1600年 / Chinese Institute of Electronics卷 / 41期

关键词：

Approximate reasoning; Lattice-valued logic; MV-algebra; Probability logic metric space; Probability truth degree;

D O I：

10.3969/j.issn.0372-2112.2013.10.026

中图分类号：

学科分类号：

摘要：

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.

引用

页码：2035 / 2040

页数：5