n值S-MTL逻辑系统中命题的Borel概率真度理论

• 作者: 李骏 郑刚
• 来源期刊: 计算机工程与应用
• 学科: 数学
• 关键词: 计量逻辑学 Borel概率测度 伪距离 近似推理
• 年，卷（期）: 2014,（2）
• 所属期刊栏目: 理论研究、研发设计
• 页码范围: 39-43
• 页数: 5页
• 分类号: O141.1
• 字数: 5252字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1206-0001

摘要

在n值S-MTL逻辑系统的统一框架下，通过视全体赋值之集为通常乘积拓扑空间，给出了命题的Borel概率真度定义。通过构造公式所诱导的阶梯函数给出了公式真度的积分表达式，进而利用命题的Borel概率真度在该逻辑系统中引入公式间的相似度及其伪距离，使得在n值S-MTL逻辑系统的统一框架下搭建起融随机性和整体性于一体的近似推理模型成为可能。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李骏	兰州理工大学理学院	46	395	11.0	19.0
2	郑刚	兰州理工大学理学院	1	0	0.0	0.0