-
题名基于强正则蕴涵算子的加权模糊度量空间
被引量:2
- 1
-
-
作者
李骏
付超
-
机构
兰州理工大学理学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2017年第5期31-35,共5页
-
基金
国家自然科学基金(No.11261032)
兰州理工大学博士基金
-
文摘
在强正则蕴涵算子的统一框架下给出了加权正则度量的定义,建立了基于强正则蕴涵算子的加权正则模糊度量空间,并且研究了该模糊度量空间的性质,分析了常用的逻辑连接词所对应的映射关于加权正则度量的连续性,最后证明了基于Lukasiewicz蕴涵的加权正则模糊度量空间是最适宜于展开模糊推理的模糊度量空间。
-
关键词
模糊度量空间
模糊推理
强正则蕴涵算子
加权正则度量
-
Keywords
fuzzy metric space
fuzzy reasoning
strong regular implication operator
weighted regular metric
-
分类号
O141.1
[理学—基础数学]
-
-
题名命题逻辑系统SMTL中公式的积分真度理论
被引量:14
- 2
-
-
作者
李骏
姚锦涛
-
机构
兰州理工大学理学院
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2013年第5期878-883,共6页
-
基金
国家自然科学基金(No.10771129)
兰州理工大学博士基金
-
文摘
首先给出了强左连续-t模和SMTL命题逻辑系统的定义,证明了左连续的-t模为强左连续-t模当且仅当与之伴随的正则蕴涵算子为强正则蕴涵算子;其次,在基于强正则蕴涵算子的模糊命题逻辑系统中定义了公式的积分真度,给出了积分真度推理规则;最后,基于公式的积分真度在SMTL命题逻辑系统的全体公式集上引入了一种伪距离,提出了三种近似推理机制,从而使得在SMTL命题逻辑系统的统一框架下展开近似推理成为可能.
-
关键词
积分真度
强左连续-t模
强正则蕴涵算子
SMTL命题逻辑系统
伪度量
-
Keywords
integral truth degree
strong left-continuous t-norm
strong regular implication operators
SMTL propositional logic
pseudo metric
-
分类号
O142
[理学—基础数学]
-
-
题名n值S-MTL命题逻辑系统中公式真度的统一理论
被引量:15
- 3
-
-
作者
李骏
邓富喜
-
机构
兰州理工大学理学院
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2011年第8期1864-1868,共5页
-
基金
国家自然科学基金(No.10771129)
-
文摘
给出了强正则蕴涵算子和n值S-MTL命题逻辑系统的定义.基于一般的概率测度定义了公式的真度,并给出了公式真度的积分表达式;基于公式真度的积分表达式证明了真度推理规则;在n值S-MTL命题逻辑系统的全体公式集上引入了一种伪距离,证明了逻辑运算关于这种伪距离是连续的.提出了一种近似推理机制,使得在n值S-MTL命题逻辑系统中展开近似推理成为可能.
-
关键词
真度
强正则蕴涵算子
n值S-MTL命题逻辑系统
伪距离
-
Keywords
truth degree
strong regular implication operators
n-valued S-MTL propositional logical system
pseudo-distance
-
分类号
O142
[理学—基础数学]
-