期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
命题逻辑系统SMTL中公式的积分真度理论
被引量:
14
1
作者
李骏
姚锦涛
《电子学报》
EI
CAS
CSCD
北大核心
2013年第5期878-883,共6页
首先给出了强左连续-t模和SMTL命题逻辑系统的定义,证明了左连续的-t模为强左连续-t模当且仅当与之伴随的正则蕴涵算子为强正则蕴涵算子;其次,在基于强正则蕴涵算子的模糊命题逻辑系统中定义了公式的积分真度,给出了积分真度推理规则;最...
首先给出了强左连续-t模和SMTL命题逻辑系统的定义,证明了左连续的-t模为强左连续-t模当且仅当与之伴随的正则蕴涵算子为强正则蕴涵算子;其次,在基于强正则蕴涵算子的模糊命题逻辑系统中定义了公式的积分真度,给出了积分真度推理规则;最后,基于公式的积分真度在SMTL命题逻辑系统的全体公式集上引入了一种伪距离,提出了三种近似推理机制,从而使得在SMTL命题逻辑系统的统一框架下展开近似推理成为可能.
展开更多
关键词
积分真度
强左连续-t模
强正则蕴涵算子
SMTL命题逻辑系统
伪度量
下载PDF
职称材料
题名
命题逻辑系统SMTL中公式的积分真度理论
被引量:
14
1
作者
李骏
姚锦涛
机构
兰州理工大学理学院
出处
《电子学报》
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 [理学—基础数学]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
命题逻辑系统SMTL中公式的积分真度理论
李骏
姚锦涛
《电子学报》
EI
CAS
CSCD
北大核心
2013
14
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部