论文部分内容阅读
利用条件概率的思想在n值Lukasiewicz命题逻辑中引入公式的条件真度概念，并给出条件真度的一些性质；利用条件真度定义公式相似度，进而导出全体公式集上的一种伪距离，这为n值Lukasiewicz逻辑系统中给出在信息∑下的近似推理理论提供了一种可能的框架。
n值Lukasiewicz逻辑中命题的条件真度理论
【摘 要】
：
利用条件概率的思想在n值Lukasiewicz命题逻辑中引入公式的条件真度概念，并给出条件真度的一些性质；利用条件真度定义公式相似度，进而导出全体公式集上的一种伪距离，这为n值Lukas
【机 构】
：
陕西师范大学数学与信息科学学院
【出 处】
：
延安大学学报：自然科学版
【发表日期】
：
2009年1期
其他文献
本文从编制地质地形图的扫描、转换、整理等方面出发,阐述了CASS与MAPGIS结合对地质地形图进行修补测的方法,结合项目生产经验对实际生产中遇到的问题进行探讨,并进行分析。
在教育领域中，计算机不仅是一门学科，而且正逐渐成为有效的教学和教育管理的有力工具。它使当今的教学手段、教学方法、教学观念与形式，课堂教学结构，以至教育思想与教学理论都发
设R为任意含单位元的半环，Tn（ R）为半环R上的上三角矩阵半环。利用矩阵的一些性质，得出了半环Tn（R）上的任一半环自同构Φ的一些结论，即（1）当n=1时，Φ为半环Tn（R）的一个半环自同构。（2）当n≥
在0-N数据结构的基础上结合时间索引,建立根据时间片段划分的序列数据块,通过对原始数据存储结构的改进达到减小扫描范围的目的,提高序列模式挖掘算法的效率。
列出了中国已知三代虫科3属54种的名录,纪录了各种的已知分布区和寄主。编制了分属种检索表,简要总结了各省区的研究状况和已知的寄主多样性等数据。为进一步开展此科的研究
建立了保费收入服从复合负二项过程,理赔量服从复合Poisson-Geometric过程的带投资的干扰风险模型,通过对盈余过程性质的研究,得到该模型的最终破产概率公式和破产概率上界的
6种不同酱香型大曲的理化参数及挥发性组分的研究结果表明,酱香型大曲的挥发性组分具有显著的时空性特征(大曲生产地点和储存时间)。酱香型大曲主要挥发性组分包括芳香族、酯
随着经济的发展,人民生活水平不断提高,社会需求也不断变化,由传统的旅游观光进入了休闲度假的新时代。度假酒店也随之进入了高速发展时期。与此同时,也暴露了诸多生态环境破
将原数据标准化可消除不可预测因素的影响.利用贝塔绝对值或wald卡方的均值为复杂系数,判断相关因素对拟合方程的影响程度,拟合后的方程更有现实意义.