【摘 要】
：
本文以任意预粗糙代数为赋值格的粗糙逻辑为研究对象,基于格赋值理论,通过在预粗糙代数赋值格和全体公式集上分别建立概率测度,利用积分方法提出了粗糙逻辑中公式的一种新的
【基金项目】
：
河南省基础与前沿技术研究项目(No.152300410112).
论文部分内容阅读
本文以任意预粗糙代数为赋值格的粗糙逻辑为研究对象,基于格赋值理论,通过在预粗糙代数赋值格和全体公式集上分别建立概率测度,利用积分方法提出了粗糙逻辑中公式的一种新的粗糙概率真度.证明了粗糙概率真度的 MP规则、HS规则和交推理规则,同时引入了公式的精确度和粗糙度的概念.基于粗糙概率真度,提出公式间的9种粗糙相似度和伪距离,进而提出3种近似推理模式,研究了相关性质.将计量逻辑学中的相关理论推广到以预粗糙代数为赋值格的粗糙逻辑上,为基于粗糙概率真度的程度化推理提供了一种可能的框架.
其他文献
目前,我国经济快速发展,社会生产力水平稳步提升,推动了我国工业化建设的进一步发展。就工业发展历程来说,成本核算极未重要,有助于工业企业全方位结算其收益,有效把控工业产
由于光流场既包含物体的运动信息,又包含场景的三维结构信息,因此光流计算技术是计算机视觉和机器视觉领域研究的重要任务之一.针对现有光流计算方法在图像边缘保护方面存在过度平滑问题,提出一种基于相互结构引导滤波的TV-L1(Total Variational with L1 norm,TV-L1)变分光流估计方法.通过提取置信度较高的图像相互结构区域,构造基于相互结构引导滤波的全局目标函数,并采用金字塔
针对当前大多数据传输协议没有充分利用无线信道的广播特性这一问题,本文提出了基于网络编码的机会路由协议NCOR(Network Codingbased Opportunistic Routing protocol).首先
提出了一种新型平面三频带通滤波器,该滤波器由一个加载短路枝节的阶梯阻抗谐振器,一对加载开路枝节的背靠背E型谐振器,以及包含源负载直接耦合的馈电结构组成.所采用的枝节
现有的高斯消元法在Turbo码帧结构识别中,存在着容错性差且计算量大的缺点,直接导致后续分量编码器以及交织器识别算法无法应用.为此,提出了一种基于矩阵模型列相关性的识别
遵循控制转发分离思想,软件定义无线传感器网络(Wireless Sensor Network,WSN)数据转发采用基于流的实现方式.因此,软件定义WSN规则更新过程中节点行为可能违背网络属性一致
经济水平提升的同时,为许多企业带来更加宽广的发展空间,并且明确了企业正确的发展方向。在当前形势下,信息化技术的发展与进步使计算机得到广泛的运用,而财务部门作为企业重
随着互联网的发展与进步,电子商务的出现和兴起在一定程度上影响实体经济的发展,实体书店也不例外,转变经营策略和适应新的变化是每个实体书店所面临的问题。本文从电子商务
当下全世界各国都十分关注实体经济,中国政府也一直高度重视实体经济发展,并积极努力引导资金前往实体经济。而实体经济在发展中,除了产品技术创新外,还需要管理创新,降低不
为了应对手工视觉特征与哈希编码过程不能最佳地兼容以及现有哈希方法无法区分图像语义信息的问题,提出一种基于深度卷积神经网络学习二进制哈希编码的方法.该方法基本思想是在深度残差网络中增加一个哈希层,同时学习图像特征和哈希函数;以此同时提出一种更加紧凑的分级哈希结构,用来提取更加接近图像语义的特征.经MNIST、CIFAR-10、NUS-WIDE数据集的实验,结果表明该方法优于现有的哈希方法.该方法不仅