电子学报Issue(10)：2035-2040,6.DOI:10.3969/j.issn.0372-2112.2013.10.026
基于 MV 代数语义的格值逻辑的程度化方法
Graded Method of Lattice-Valued Logic Based on MV-Algebra Semantics
摘要
Abstract
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 .关键词
MV代数/格值逻辑/概率真度/概率逻辑度量空间/近似推理Key words
MV-algebra/lattice-valued logic/probability truth degree/probability logic metric space/approximate reasoning分类
数理科学引用本文复制引用
左卫兵..基于 MV 代数语义的格值逻辑的程度化方法[J].电子学报,2013,(10):2035-2040,6.基金项目
河南省自然科学基金（No ．112300410040）；河南省教育厅自然科学基金（No ．2011A110012，No ．13A110719）；河南省高等学校青年骨干教师资助计划 （）
