期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
基于强正则蕴涵算子的加权模糊度量空间 被引量:2
1
作者 李骏 付超 《计算机工程与应用》 CSCD 北大核心 2017年第5期31-35,共5页
在强正则蕴涵算子的统一框架下给出了加权正则度量的定义,建立了基于强正则蕴涵算子的加权正则模糊度量空间,并且研究了该模糊度量空间的性质,分析了常用的逻辑连接词所对应的映射关于加权正则度量的连续性,最后证明了基于Lukasiewicz... 在强正则蕴涵算子的统一框架下给出了加权正则度量的定义,建立了基于强正则蕴涵算子的加权正则模糊度量空间,并且研究了该模糊度量空间的性质,分析了常用的逻辑连接词所对应的映射关于加权正则度量的连续性,最后证明了基于Lukasiewicz蕴涵的加权正则模糊度量空间是最适宜于展开模糊推理的模糊度量空间。 展开更多
关键词 模糊度量空间 模糊推理 强正则蕴涵算子 加权正则度量
在线阅读 下载PDF
命题逻辑系统SMTL中公式的积分真度理论 被引量:14
2
作者 李骏 姚锦涛 《电子学报》 EI CAS CSCD 北大核心 2013年第5期878-883,共6页
首先给出了强左连续-t模和SMTL命题逻辑系统的定义,证明了左连续的-t模为强左连续-t模当且仅当与之伴随的正则蕴涵算子为强正则蕴涵算子;其次,在基于强正则蕴涵算子的模糊命题逻辑系统中定义了公式的积分真度,给出了积分真度推理规则;最... 首先给出了强左连续-t模和SMTL命题逻辑系统的定义,证明了左连续的-t模为强左连续-t模当且仅当与之伴随的正则蕴涵算子为强正则蕴涵算子;其次,在基于强正则蕴涵算子的模糊命题逻辑系统中定义了公式的积分真度,给出了积分真度推理规则;最后,基于公式的积分真度在SMTL命题逻辑系统的全体公式集上引入了一种伪距离,提出了三种近似推理机制,从而使得在SMTL命题逻辑系统的统一框架下展开近似推理成为可能. 展开更多
关键词 积分真度 左连续-t模 强正则蕴涵算子 SMTL命题逻辑系统 伪度量
在线阅读 下载PDF
n值S-MTL命题逻辑系统中公式真度的统一理论 被引量:15
3
作者 李骏 邓富喜 《电子学报》 EI CAS CSCD 北大核心 2011年第8期1864-1868,共5页
给出了强正则蕴涵算子和n值S-MTL命题逻辑系统的定义.基于一般的概率测度定义了公式的真度,并给出了公式真度的积分表达式;基于公式真度的积分表达式证明了真度推理规则;在n值S-MTL命题逻辑系统的全体公式集上引入了一种伪距离,证明了... 给出了强正则蕴涵算子和n值S-MTL命题逻辑系统的定义.基于一般的概率测度定义了公式的真度,并给出了公式真度的积分表达式;基于公式真度的积分表达式证明了真度推理规则;在n值S-MTL命题逻辑系统的全体公式集上引入了一种伪距离,证明了逻辑运算关于这种伪距离是连续的.提出了一种近似推理机制,使得在n值S-MTL命题逻辑系统中展开近似推理成为可能. 展开更多
关键词 真度 强正则蕴涵算子 n值S-MTL命题逻辑系统 伪距离
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部