|
|
电子学报 2011
n值S-MTL命题逻辑系统中公式真度的统一理论, PP. 1864-1868 Keywords: 真度,强正则蕴涵算子,n值S-MTL命题逻辑系统,伪距离 Abstract: 给出了强正则蕴涵算子和n值S-MTL命题逻辑系统的定义.基于一般的概率测度定义了公式的真度,并给出了公式真度的积分表达式;基于公式真度的积分表达式证明了真度推理规则;在n值S-MTL命题逻辑系统的全体公式集上引入了一种伪距离,证明了逻辑运算关于这种伪距离是连续的.提出了一种近似推理机制,使得在n值S-MTL命题逻辑系统中展开近似推理成为可能.
|
