期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
正则蕴涵算子所对应的逻辑伪度量空间
被引量:
21
1
作者
李璧镜
王国俊
《电子学报》
EI
CAS
CSCD
北大核心
2010年第3期497-502,共6页
本文对所有正则蕴涵算子对应的逻辑系统类MTL进行语义研究,指出在MTL中可以建立连续赋值格时的公式积分真度理论,但却不能在这一类逻辑系统的全体公式集上建立由公式间的积分相似度决定的伪度量空间.但凡可以建立如此伪度量空间的逻辑系...
本文对所有正则蕴涵算子对应的逻辑系统类MTL进行语义研究,指出在MTL中可以建立连续赋值格时的公式积分真度理论,但却不能在这一类逻辑系统的全体公式集上建立由公式间的积分相似度决定的伪度量空间.但凡可以建立如此伪度量空间的逻辑系统,都有个共同的性质,即系统中所有的逻辑运算都是连续的,从而就为在此类逻辑系统中建立统一形式的近似推理提供了可行的框架.
展开更多
关键词
正则蕴含
算子
可测的
积分真度
逻辑伪度量空间
算子的连续性
下载PDF
职称材料
题名
正则蕴涵算子所对应的逻辑伪度量空间
被引量:
21
1
作者
李璧镜
王国俊
机构
陕西师范大学数学与信息科学学院
宝鸡文理学院数学系
华东师范大学上海高可信计算重点实验室
出处
《电子学报》
EI
CAS
CSCD
北大核心
2010年第3期497-502,共6页
基金
国家自然科学基金资助项目(No.10771129)
文摘
本文对所有正则蕴涵算子对应的逻辑系统类MTL进行语义研究,指出在MTL中可以建立连续赋值格时的公式积分真度理论,但却不能在这一类逻辑系统的全体公式集上建立由公式间的积分相似度决定的伪度量空间.但凡可以建立如此伪度量空间的逻辑系统,都有个共同的性质,即系统中所有的逻辑运算都是连续的,从而就为在此类逻辑系统中建立统一形式的近似推理提供了可行的框架.
关键词
正则蕴含
算子
可测的
积分真度
逻辑伪度量空间
算子的连续性
Keywords
regular implication operator
measurable
integral truth degree
logic pseudo-metric space
continuity of operator
分类号
O142 [理学—基础数学]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
正则蕴涵算子所对应的逻辑伪度量空间
李璧镜
王国俊
《电子学报》
EI
CAS
CSCD
北大核心
2010
21
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部