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

摘要：

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

关键词：计量逻辑学、Borel概率测度、伪距离、近似推理

分类号：O141.1(数理逻辑、数学基础)

资助基金：国家自然科学基金No.10771129；兰州理工大学博士基金资助项目。

在线出版日期：2014-01-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：39-43