%0 Journal Article
%T n值S-MTL命题逻辑系统中公式真度的统一理论
%A 李骏
%A 邓富喜
%J 电子学报
%P 1864-1868
%D 2011
%X 给出了强正则蕴涵算子和n值S-MTL命题逻辑系统的定义.基于一般的概率测度定义了公式的真度,并给出了公式真度的积分表达式;基于公式真度的积分表达式证明了真度推理规则;在n值S-MTL命题逻辑系统的全体公式集上引入了一种伪距离,证明了逻辑运算关于这种伪距离是连续的.提出了一种近似推理机制,使得在n值S-MTL命题逻辑系统中展开近似推理成为可能.
%K 真度
%K 强正则蕴涵算子
%K n值S-MTL命题逻辑系统
%K 伪距离
%U http://www.ejournal.org.cn/CN/abstract/abstract2210.shtml