论文部分内容阅读
为了提高归结方法处理带有不可比较性信息的能力,给出了四值格值命题逻辑系统上的语义归结原理,并证明了其可靠性和完备性,其上归结原理的研究为归结算法的实现提供了理论基础,从而为处理含有不可比真值的格值逻辑系统在智能推理系统中的实际应用提供了有力的支持。
四值非链格值命题逻辑系统L_4P（X）的语义归结方法
【摘 要】
：
为了提高归结方法处理带有不可比较性信息的能力,给出了四值格值命题逻辑系统上的语义归结原理,并证明了其可靠性和完备性,其上归结原理的研究为归结算法的实现提供了理论基础,从而为处理含有不可比真值的格值逻辑系统在智能推理系统中的实际应用提供了有力的支持。
【机 构】
：
西南交通大学智能控制开发中心,毕节学院逻辑、语言与认知中心
【出 处】
：
计算机应用研究
【发表日期】
：
2011年09期
【基金项目】
：
国家自然科学基金资助项目（60875034）
其他文献
为了实现低碳、节能、清洁生产和节约人工的目的，劲牌公司制定了从手工灌装到高速灌装生产线分三步走的升级换代战略。
针对将TCP/IP协议栈运用在嵌入式成像系统中作为通信方式时所存在的传输速度低的问题,提出一种将数据封装在自定义以太网帧中进行传输的通信方式,并针对这种方式实现了网卡的驱动。定义了三种帧格式分别用于启动曝光、数据传输、数据重传,设计了一种基于状态机的控制协议实现相机的控制及图像数据的传输,并最终在硬件平台上实现了基于这种方法的成像系统。实验测试表明,NiosII嵌入式处理器工作在150MHz、uC
现有的三维人脸建模方法存在三点不足:建模条件苛刻、建模精度不高和建模时间长。针对以上不足,提出明暗恢复形状(SFS)和局部形变模型融合的3D人脸建模方法。该方法利用SFS快速恢复3D人脸粗糙数据,得到3D轮廓脸;然后分别对人脸不同局部应用形变模型恢复其局部3D精确数据,并使用其对轮廓脸进行内插平滑处理重建出高精度3D人脸模型。实验结果表明:该方法能够获得较好的建模精度,在短时间内可以通过单幅真实图
在目前举行的中国酒业创新竞争力高峰论坛上，中国酿酒工业协会秘书长王琦认为，中国白酒行业持续高增长的势头对资本市场产生了很大吸引力，白酒行业已进入了资本竞争的加速时代。
随着SOA的广泛部署,服务发现不仅要满足服务功能属性的需求,而且越来越关注服务的非功能属性的需求。如何在众多的服务中去选择满足一定安全要求的服务是一个亟待解决的问题。通过对服务描述进行扩展,加入了安全约束属性,可以丰富灵活地表达服务对安全的需求,在此基础上提出基于安全约束的服务注册与发现模型。本模型是对服务注册中心进行扩展,在注册和发现的过程中能够保证服务注册中心、服务提供者与使用者各方安全需求的
全球产品开发正成为未来产品开发的主流方向。其基本模式有四种，企业可以根据自己的实际情况做出选择，或综合利用之，从而借力全球资源，同时享受到成本降低、流程创新、全球增长以
低碳背景下，生物降解材料市场的需求将呈爆炸式增长，但马上降低成本还有一定困难，应用推广还需政策支持。在第二届中国国际生物降解塑料应用研讨会上，生物降解塑料原料生产企业、
随着中产阶级人群的增长，瓶装水将成为亚洲下一波“淘金热”。亚洲中产阶级持续壮大将导致全球瓶装水市场蓬勃发展。到2012年，全球每年将消费2800多亿升瓶装水。据可持续性问题