-
题名约束逻辑程序设计的变量压缩事件分析
- 1
-
-
作者
易军凯
肖洋
-
机构
北京化工大学信息科学与技术学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2005年第18期51-53,60,共4页
-
基金
新加坡政府支持
与新加坡国立大学合作
-
文摘
该文涉及的约束逻辑程序设计(CLP)是一在二叉树上进行搜索的过程,提高搜索效率是CLP的主要研究方向之一。在CLP中约束推理机是核心,由变量组、约束过滤器、临时容器、推理引擎组成。在介绍了约束推理机激活过滤器,对变量进行区间压缩后,提出引入变量事件,总结为三种类型:SINGLE、BOUND和DOMCHG,用于减少过滤器的激发次数。实验结果表明,变量事件能够促进约束推理机的搜索效率,缩短二叉树搜索的时间,可以更快寻找到答案。
-
关键词
约束逻辑程序设计
约束推理机
区间压缩
变量事件
二叉树
-
Keywords
constraint logic programming,tree search engine,domain Narrowing,event occurrence of variables,binary tree
-
分类号
TP319
[自动化与计算机技术—计算机软件与理论]
-
