论文部分内容阅读
研究了真值流推理算法在各种推理模式下的还原性，证明了真值流推理算法在单一规则下是具有还原性的。但是，在采用常用的推理模型进行推理时，真值流推理算法并不具有多重多维情形下的还原性。为了解决这个问题，提出了一种带权重的真值流推理算法，并证明了该新算法具有多重多维情形下的还原性。
一种带权重的真值流推理算法
【摘 要】
：
研究了真值流推理算法在各种推理模式下的还原性，证明了真值流推理算法在单一规则下是具有还原性的。但是，在采用常用的推理模型进行推理时，真值流推理算法并不具有多重多维情形
【机 构】
：
西南大学逻辑与智能研究中心
【出 处】
：
计算机科学
【发表日期】
：
2009年12期
其他文献
本文给出MANET和Internet互联的网关发现策略的分类方法，系统地描述了当前各种典型的网关发现策略，并比较和分析这些策略的优势与不足，最后结合该领域当前的研究现状，指出MANET和
随着网络的大规模应用，越来越多的协议在并发环境中执行，时间也成为协议中一个重要因素。本文对公平交换协议Franklin／Reiter协议加入了时间因素，用时间自动机对其建模，并用自动验
信息产业的快速变革创造了一种新的商业模式：某些原本深居幕后的技术，却因为技术的演进和市场需求的推动，使其迅速成为信息产业瞩目的焦点，进而迈向IT市场的中心地带。近年在全球
摘 要：在每个人成长的过程中，都会亲身见过、做过或遭遇到一些事情，只要我们能适时创设情境，及时捕捉事件，并让孩子去体验，就会帮助孩子增长阅历，获得丰富的情感。 关键词：经历； 经验； 成长； 幼儿发展 中图分类号：G612 文献标识码：A 文章编号：1006-3315（2012）10-110-001 让我们回顾一学期来孩子在幼儿园生活中经历的一件件事吧。
对以太网电路仿真业务中使用的时钟同步方法进行了详细分析。针对普通自适应时钟方法的不足，提出了一种新的自适应时钟方法——基于卡尔曼滤波的本地时戳方法。该方法可归于基
初中历史教学中涵育史料实证素养,是历史课程的重要目标。史料实证素养的落地,教师需要理解史料实证的意义,具有实证精神;通过对史料实证素养水平的划分,明确培育目标;具体教