【摘 要】
：
约束推理机是约束逻辑程序设计的核心部分,它包含有变量组、临时容器、约束过滤器和推理引擎,与分支策略、探索策略和节点回溯策略相配合,共同完成推理的任务.本文引入变量事
【机 构】
：
北京化工大学信息科学与技术学院,北京,100029
【出 处】
：
2005年全国理论计算机科学学术年会
论文部分内容阅读
约束推理机是约束逻辑程序设计的核心部分,它包含有变量组、临时容器、约束过滤器和推理引擎,与分支策略、探索策略和节点回溯策略相配合,共同完成推理的任务.本文引入变量事件,以减少约束过滤器的触发次数,并且仔细分析了变量事件作用于约束推理机的触发几率.变量事件可以分为三种:SINGLE、BOUND和DOMCHG.对照某变量的事件,约束过滤器也可以对该变量分为三种类型:SINGLE、BOUND和DOMCHG型.文章从实验上验证了建立变量事件可以提高约束推理机的效率.
其他文献
谁还关心“92派’？至少他们自己在关心自己，也期待更多人体会到在他们身上曾经发生的思想解放的惊人力量。
5月中旬,杜宏路作为一家美国科技公司的代表来到重庆,与重庆市科技创投引导基金谈判,希望通过发展更智能的交通信息化系统,解决重庆江北区与南岸区的交通拥堵、停车难问题.rn
本文证明了在Metric情况下内点带权的最小生成树问题是NPhard的.给出了一个近似度为3．582的近似算法,并对算法的正确性和近似度进行了详细的分析和证明.本文是关于内点带权的
本文给出了具有结点失效的3-状态设备网络2-终端可靠性模型,并给出了这种模型可靠度的基本计算思想.结合已有的归约公式,我们还给出了两类特殊的具有结点失效网络可靠度的算
本文在匈牙利算法和HK算法的基础上,提出了一种二部图无权最大匹配的符号OBDD算法.实验结果表明:在处理大密度或大规模图时,符号算法具有明显优势.2预备知识3二部图的符号OBD
“开发商很伟大!”这居然是搜房网董事长莫天全说出的话.上一秒钟,在谈及安居客、乐居这些竞争对手时,这个家伙还狷狂地说“赢者通吃”.rn3月19日,美股搜房网的市值达到了414
不浮躁,口碑好,有节操的小清新公司,为何仍会一拳一拳挨打如果列一份可能面临被卖掉或被灭掉公司的名单,豌豆荚或许名列其中。它不缺钱,今年年初刚拿到1.2亿美元B轮融资,现金
湘鄂情董事长孟凯的面前齐刷刷摆着四部手机.rn“昨天约了一个事,因为部长不在,要推迟到周末,到时候约好时间我告诉你.”rn“我怀疑这孙子是不是昨天出门就出事了,事情能办,
本文将启发式技术引入到时序图规划中,从而提高时序图规划的性能.启发式技术远远多于我们在文中提到的几种,所以启发式搜索与时序图规划的结合还有着广阔的前景.
本文提出了用小波包变换提取肺音特征的新方法,建立了小波包系数和信号能量之间的等价关系,以小波包系数能量作为特征对肺音信号进行了特征提取和模式识别.结果表明,这种方法