最先失败原则的约束传播算法

摘要：

约束满足问题是人工智能研究领域的重要问题.而弧相容算法是求解约束满足问题的重要工具.在弧相容算法中应用启发式规则已经证明是一种很有效的方式.本文提出一个基于最先失败原则的约束传播算法,该算法在搜索过程中更早地发现含有空域的变量并提前进行回溯,从而提高问题求解效率.同时,在"明月1.0"架构下实现了该算法,实验结果表明使用最先失败原则的弧相容算法要比原来的算法效率上提高了约40%.

关键词：最先失败原则、弧相容、约束满足问题、约束传播

所属期刊栏目：29

分类号：TP18(自动化基础理论)

资助基金：国家自然科学基金60473003;吉林省自然科学基金20040526;高等学校博士学科点专项科研项目20050183065

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

页数：共4页

页码：678-681