期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
正则蕴涵算子所对应的逻辑伪度量空间 被引量:21
1
作者 李璧镜 王国俊 《电子学报》 EI CAS CSCD 北大核心 2010年第3期497-502,共6页
本文对所有正则蕴涵算子对应的逻辑系统类MTL进行语义研究,指出在MTL中可以建立连续赋值格时的公式积分真度理论,但却不能在这一类逻辑系统的全体公式集上建立由公式间的积分相似度决定的伪度量空间.但凡可以建立如此伪度量空间的逻辑系... 本文对所有正则蕴涵算子对应的逻辑系统类MTL进行语义研究,指出在MTL中可以建立连续赋值格时的公式积分真度理论,但却不能在这一类逻辑系统的全体公式集上建立由公式间的积分相似度决定的伪度量空间.但凡可以建立如此伪度量空间的逻辑系统,都有个共同的性质,即系统中所有的逻辑运算都是连续的,从而就为在此类逻辑系统中建立统一形式的近似推理提供了可行的框架. 展开更多
关键词 正则蕴含算子 可测的 积分真度 逻辑伪度量空间 算子的连续性
在线阅读 下载PDF
逻辑伪度量空间中的孤立点 被引量:2
2
作者 李璧镜 王国俊 《计算机工程与应用》 CSCD 北大核心 2010年第11期1-2,21,共3页
在逻辑系统MTL中,对全体逻辑公式集上建立的逻辑伪度量空间进行研究,讨论了孤立点的情形,指出积分真度不为零的公式一定不是对应空间中的孤立点,而对于积分真度为零的公式,则要分不同性质类型的系统讨论,得到的情形也完全不同。
关键词 积分真度 逻辑伪度量空间 孤立点
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部