检索结果-维普期刊中文期刊服务平台

期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

共找到2篇文章

< 1 >

每页显示 20 50 100

已选择0条

导出题录引用分析

统计分析

显示方式：

文摘详细列表

相关度排序被引量排序时效性排序

n值S-MTL命题逻辑系统中公式真度的统一理论被引量：15: 1; 作者李骏邓富喜《电子学报》 EI CAS CSCD 北大核心 2011年第8期1864-1868,共5页; 给出了强正则蕴涵算子和n值S-MTL命题逻辑系统的定义.基于一般的概率测度定义了公式的真度,并给出了公式真度的积分表达式;基于公式真度的积分表达式证明了真度推理规则;在n值S-MTL命题逻辑系统的全体公式集上引入了一种伪距离,证明了... 展开更多; 关键词真度强正则蕴涵算子 n值s-mtl命题逻辑系统伪距离; 在线阅读下载PDF 职称材料

一类n值命题逻辑系统中改进的相似度及伪距离被引量：4: 2; 作者李骏黎锁平兰倩《甘肃工业大学学报》北大核心 2003年第2期130-133,共4页; 基于均匀概率空间的无穷乘积在一类n值命题逻辑系统中定义了公式的真度,并利用真度给出一种改进了的相似度定义,进而导出全体公式集F(S)上的一种伪距离,最后讨论了相似度及伪距离的重要性质.; 关键词 n值命题逻辑系统均匀概率空间真度公式相似度伪距离 MP规则 HS规则交推理规则; 在线阅读下载PDF 职称材料

已选择0条

导出题录引用分析

统计分析

上一页 1 下一页到第页

使用帮助返回顶部