期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
积分语义学中的积分相似度、伪距离与近似推理理论 被引量:8
1
作者 李骏 袁和军 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2002年第1期27-30,共4页
进一步研究了积分语义学理论中的积分相似度、伪距离及近似推理理论 ,提出了改进的积分交推理规则 ,给出了公式集Γ的n次发散度的估计式 ;同时在近似推理中引入了“相离度”概念 ,并给出了判定相离度为
关键词 积分语义学 真度 积分相似度 伪距离 HAUSDORFF距离 相离度 模糊推理 近似推理理论 积分交推理规则
下载PDF
L~*系统的半对偶形式系统S“非汉字符号”~* 被引量:4
2
作者 吴洪博 陈景林 《陕西师范大学学报(自然科学版)》 CAS CSCD 北大核心 2001年第4期4-8,共5页
研究了模糊命题演算的形式演绎系统L 和修正的Kleene逻辑系统 W ,W ,Wk 及R0 代数 .给出了L 系统的半对偶形式系统SL- ;与交推理规则相对应 ,引入并推理规则 ,证明了L 系统和SL- 系统的等价性 .
关键词 模糊命题演算 形式演绎系统T^* 半对偶形式演绎系统ST^-* 推理规则 交推理规则 等价性
下载PDF
一类n值命题逻辑系统中改进的相似度及伪距离 被引量:4
3
作者 李骏 黎锁平 兰倩 《甘肃工业大学学报》 北大核心 2003年第2期130-133,共4页
基于均匀概率空间的无穷乘积在一类n值命题逻辑系统中定义了公式的真度,并利用真度给出一种改进了的相似度定义,进而导出全体公式集F(S)上的一种伪距离,最后讨论了相似度及伪距离的重要性质.
关键词 n值命题逻辑系统 均匀概率空间 真度 公式 相似度 伪距离 MP规则 HS规则 交推理规则
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部