论文部分内容阅读
在三值标准序列逻辑系统中引入了公式的真度概念,并利用真度定义了公式间的相似度,进而导出全体公式集上的一种伪距离,证明了伪距离空间中没有孤立点,从而可以考虑用一列公式去逼近某个公式,这就为进一步在三值标准序列逻辑系统中展开近似推理奠定了基础.
标准序列逻辑系统S3中的相似度及伪距离
【摘 要】
：
在三值标准序列逻辑系统中引入了公式的真度概念,并利用真度定义了公式间的相似度,进而导出全体公式集上的一种伪距离,证明了伪距离空间中没有孤立点,从而可以考虑用一列公式
【机 构】
：
兰州理工大学,兰州理工大学
【出 处】
：
兰州理工大学学报
【发表日期】
：
2004年5期
其他文献
<正>我们的祖先在实践中摸索出了一套节能环保的生活、生产方式。那么,他们有哪些节能减耗、保卫蓝天的智慧?雁鱼灯和夹灯盏由于用普通的生活器皿做灯具燃油利用的效率低,古
<正>带电粒子在匀强磁场中的运动是高考的热点,许多学生对解带电粒子在有界匀强磁场中运动的极值问题感到困难,其主要原因是不能迅速分析得出临界轨迹圆弧.传统教学对此问题
<正>作为空分设备总体的重要组成部分——配管系统,系利用各种规格的管道将所有的单元设备、阀门及附件组合成一个有机的整体。虽然管路的走向大体上已由各单元设备的位置确
对于一般的增长曲线模型,在适当的假设下分别探讨了参数阵的线性可估函数在给定的齐次线性估计类和非齐次线性估计类中的容许Minimax估计,并给出了具体的表达式.
在工业化带动城镇化的传统路径以外,旅游城镇化也是后工业时代实现城镇化发展的重要路径。在大力发展新型城镇化的背景下,探究旅游城镇化的典型模式,对于丰富城镇化理论和指
清代小说中妒悍题材屡见不鲜,说明妇女妒悍已成为当时较为普遍的社会现象。这种现象既呈现出类型化与普遍化特征,也受到当时男权社会的谴责与规训,主要由一夫多妻的婚姻制度
介绍了一个具有探究性综合教学实验——气相色谱法同时测定制糖生产中间制品糖含量的教学实验。该实验涉及仪器分析、有机化学、分析化学、糖化学等领域的知识,有助于提高学
根据影响工序质量问题的主要特性值,运用数理统计方法对工序能力中工序无偏和工序有偏时的双向公差进行了计算分析,以便在实践中将工序质量的波动限定在要求的界限之内,使制
通过对已有文献资料的分析处理,对于珠光体型耐热钢12Cr1MoV,确定了能够综合描述耐热钢高温运行时温度-时间共同作用的Larson-Miller参数(P＝T(C+lg t))中的C值,并且设计了模拟