%0 Journal Article
%T 基于启发式的约束满足问题AC系列算法改进研究
%A 何哲华
%A 冯泽斌
%A 吕佳宇
%A 蒋李鸣
%J 软件工程
%D 2018
%X 摘 要: 约束满足问题是人工智能领域中一个重要的研究方向，其研究结果在符号推理、系统诊断、真值维护系 统、资源分配和产品配置等问题中有广泛的应用。局部相容性定义了约束满足问题在约束传播过程中必须满足的性质， 是约束传播发展的主要方向。而对于较为复杂的相容性问题中的AC系列算法的改进可谓难上之难。本文围绕着以弧相 容、Singleton弧相容为代表的相容性技术和求解算法展开，主要针对AC-2001算法、SAC算法等进行优化改进，重点 基于启发式进行改进，使之获得了更快的筛选速度。尤其对于SAC算法，大大减少了约束检查次数，获得了较为成功的 基于启发式的改进结果。
%K 人工智能
%K 约束满足问题
%K 启发式
%K AC系列算法
%K 约束检查次数
%U http://www.rjgczz.com/ch/reader/view_abstract.aspx?file_no=20180210&flag=1