n值S-MTL命题逻辑系统中公式真度的统一理论

• 作者: 李骏 邓富喜
• 来源期刊: 电子学报
• 学科: 数学
• 关键词: 真度 强正则蕴涵算子 n值S-MTL命题逻辑系统 伪距离
• 年，卷（期）: 2011,（8）
• 所属期刊栏目: 学术论文
• 页码范围: 1864-1868
• 分类号: O142
• 字数: 5065字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李骏	兰州理工大学理学院	46	395	11.0	19.0
2	邓富喜	兰州理工大学理学院	1	20	1.0	1.0