摘要:给出了强正则蕴涵算子和n值S-MTL命题逻辑系统的定义.基于一般的概率测度定义了公式的真度,并给出了公式真度的积分表达式;基于公式真度的积分表达式证明了真度推理规则;在n值S-MTL命题逻辑系统的全体公式集上引入了一种伪距离,证明了逻辑运算关于这种伪距离是连续的.提出了一种近似推理机制,使得在n值S-MTL命题逻辑系统中展开近似推理成为可能.
关键词:真度 强正则蕴涵算子 伪距离
单位:兰州理工大学理学院; 甘肃兰州730050
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社