【作者】 易军凯； 肖洋；

【机构】 北京化工大学信息科学与技术学院；

【摘要】 <正> 1 引言研究离散有限域约束问题的一个方法是约束逻辑程序设计,这个方法综合了人工智能中一致性算法和启发式搜索算法的优点,是人工智能的重要组成部分。一般来说,约束逻辑程序设计采用的基本策略是查找二叉树,从根节点开始按照事先规定的方式进行搜索,如果找到一个叶子,就算找到一个答案。二叉树的建立就是实际问题的建模过程,在这个过程中,需要涉及到一系列逻辑变量,这是用来描述问更多还原

【Abstract】 Constraint inference engine is the core of constraint logic programming and includes variables, constraint filters, store and propagation engine. A good CLP system has a good engine. Here, event occurrence of variables is introduced to reduce triggering times of filters, which has three types, SINGLE, BOUND and DOMCHG. Linear constraint filter is given to describe the setting method of event of variables. Also, event-triggering probability is de-tailedly analyzed. Finally, event of variables is embedded into CLP system and some typical problems are solved for the test Test shows event of variables can improve search efficiency.更多还原