-
题名正则蕴涵算子所对应的逻辑伪度量空间
被引量: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
[理学—基础数学]
-
-
题名逻辑伪度量空间中的孤立点
被引量:2
- 2
-
-
作者
李璧镜
王国俊
-
机构
陕西师范大学数学与信息科学学院
宝鸡文理学院数学系
-
出处
《计算机工程与应用》
CSCD
北大核心
2010年第11期1-2,21,共3页
-
基金
国家自然科学基金No.10771129
宝鸡文理学院重点科研项目(No.ZK2519)~~
-
文摘
在逻辑系统MTL中,对全体逻辑公式集上建立的逻辑伪度量空间进行研究,讨论了孤立点的情形,指出积分真度不为零的公式一定不是对应空间中的孤立点,而对于积分真度为零的公式,则要分不同性质类型的系统讨论,得到的情形也完全不同。
-
关键词
积分真度
逻辑伪度量空间
孤立点
-
Keywords
integral truth degree
logic pseudo-metric space
isolated point
-
分类号
O142
[理学—基础数学]
-