n值逻辑系统MTLn中命题的程度化方法

摘要：

基于均匀概率空间的无穷乘积,在n值命题逻辑系统MTLn中引入命题的α-真度概念,给出了一般真度推理规则;利用命题的α-真度定义了命题间的α-相似度,进而导出命题集上的一种伪距离,使得在n值命题逻辑系统MTLn中展开近似推理成为可能.

关键词：α-真度、真度、相似度、伪距离、近似推理

所属期刊栏目：43

分类号：O142(数理逻辑、数学基础)

资助基金：国家自然科学基金10331010;陕西师范大学校科研和教改项目;兰州理工大学校科研和教改项目

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

页数：共4页

页码：4-7