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

• 作者: 易军凯 肖洋
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 约束逻辑程序设计 约束推理机 区间压缩 变量事件 二叉树
• 年，卷（期）: 2005,（18）
• 所属期刊栏目: 学术探讨
• 页码范围: 51-53,60
• 页数: 4页
• 分类号: TP319
• 字数: 4104字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2005.18.017

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	易军凯	北京化工大学信息科学与技术学院	44	107	6.0	7.0
2	肖洋	北京化工大学信息科学与技术学院	5	108	3.0	5.0