电子学报2017，Vol.45Issue(8)：1842-1848,7.DOI:10.3969/j.issn.0372-2112.2017.08.006
基于剩余格语义的格值逻辑系统的程度化方法
Graded Method of Lattice-Valued Logic System Based on Residuated Lattice Semantics
摘要
Abstract
Based on evaluation state theory of residuated lattice and by defining probability measure in set of all evaluation states of residuated lattice and set of all formulate respectively,the probability truth degree of formula in residuated lattices semantics is introduced using the integral method,then the probability logic metric space is established in residuated lattices semantics,the approximate reasoning of quantitative logic methods have been entended to residuated lattices semantics,the feasible graded method of residuated lattices semantics is provided.关键词
剩余格/赋值态/概率真度/概率逻辑度量空间/近似推理Key words
residuated lattice/evaluation state/probability truth degree/probability logic metric space/approximate reasoning.分类
数理科学引用本文复制引用
左卫兵..基于剩余格语义的格值逻辑系统的程度化方法[J].电子学报,2017,45(8):1842-1848,7.基金项目
河南省基础与前沿技术研究计划(No.152300410112) （No.152300410112）
