约束逻辑程序设计的变量压缩事件分析

摘要：

该文涉及的约束逻辑程序设计(CLP)是一在二叉树上进行搜索的过程,提高搜索效率是CLP的主要研究方向之一.在CLP中约束推理机是核心,由变量组、约束过滤器、临时容器、推理引擎组成.在介绍了约束推理机激活过滤器,对变量进行区间压缩后,提出引入变量事件,总结为三种类型:SINGLE、BOUND和DOMCHG,用于减少过滤器的激发次数.实验结果表明,变量事件能够促进约束推理机的搜索效率,缩短二叉树搜索的时间,可以更快寻找到答案.

关键词：约束逻辑程序设计、约束推理机、区间压缩、变量事件、二叉树

所属期刊栏目：41

分类号：TP319(计算技术、计算机技术)

资助基金：新加坡政府支持,与新加坡国立大学合作项目

在线出版日期：2005-09-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：51-53,60