论文部分内容阅读
分析了经典逻辑中命题不确定性的存在性,提出了通过推理对命题不确定性的测度方法;详细描述了如何对原逻辑系统的扩展以建立具有不确定推理能力的新的逻辑系统URS;給出了URS的语法及语义,证明了URS的合理性与完全性定理,并与其它不确定推理方法作了比较.
经典逻辑中的不确定性及其支持度
【摘 要】
：
分析了经典逻辑中命题不确定性的存在性,提出了通过推理对命题不确定性的测度方法;详细描述了如何对原逻辑系统的扩展以建立具有不确定推理能力的新的逻辑系统URS;給出了URS
【机 构】
：
中山大学软件研究所,广州铁路集团公司科技研究所
【出 处】
：
计算机学报
【发表日期】
：
2006年10期
其他文献
在检测斜坡状边缘时,由于噪声的影响,经常出现单边缘多重响应现象.灰度形态学重建(grayscale recon struction)可以用于提取穹顶(dome).文章指出并证明了穹顶所具有的三个特性,并提出一种基于穹顶在梯度图中选取边缘的算法(DEG).根据指出的穹顶的特性,该算法具有非极大抑制(non maxima suppression, NMS)的效果;并且它仅选取出梯度图中相应于边缘的极大
提出了一个可硬件实现的基于分段的快速IPv6路由查找方案.该方案支持快速的IP地址查找,并能有效地对路由前缀进行插入和删除操作.方案采用基于比特位置区分的压缩算法,与其它
许多结构式P2P系统使用DHT技术将数据映射到相应的节点,以便在数据的存放与查找方面有很好的扩展性.但是,在节点数为n的网络中,大多数结构式P2P系统的每一次查询(lookup)都需
波分复用技术可以显著提高光传输网络的带宽,是未来主干网的核心技术之一.工作波长可调节的加载/下载复用器(ADM)是实现该技术的主要光学器件之一,研究使用可调ADM的全光网络
提出了一个针对大规模点模型的实时高质量绘制算法.该算法采用距离相关的自适应绘制策略,在不损失绘制质量的前提下简化了计算.在预处理阶段,对点模型进行剖分,为每一分片分别建立层次结构,并序列化为线性二叉树保存.绘制时,首先根据每片的包围盒和法向等信息进行快速视域裁剪与背面剔除.对于可见的分片,依据它与视点的距离和视线方向,选择恰当的细节层次,直接取出线性二叉树中对应的点几何数据,自适应地选择最合适的绘
面向服务应用中的语境信息有多种用途,实现过程各异,这增加了支撑平台开发与维护的复杂程度.文章对这些用途进行了分析,并将它们在实现过程中的共性特点进行抽象,以此为基础,
在传统的数据库恶意事务修复方案的基础上，采用Petri网模型分析事务撤销冲突和操作执行序列异常检测；进而结合可生存性DBMS特征提出恶意事务静态和on-the-fly修复算法，并在此基
移动主体模型可以实现协同侦测网络攻击和区域预警的功能;它利用元组空间(TUPLE-SPACE)构建移动主体服务集群(RMAS-CMAS)网络结构及侦测ARP攻击的主体.为了证明该模型逻辑的
现代视频编码标准普遍采用变换与运动补偿预测混合型编码架构,该架构对运动补偿预测后的残差图像和运动矢量等信息进行变换编码,运动补偿预测的准确度对编码性能有显著影响.由于实际对象的运动精度是任意小的,允许运动矢量具有“分像素”精度,可以有效地提高运动补偿预测准确度,为了得到“分像素”位置的像素值,需要参考其周围相邻的像素值进行插值滤波.文中提出了一种低空间复杂度1/4像素插值方法两步四抽头插值法(Tw