基于启发式的约束满足问题AC系列算法改进研究

• 作者: 何哲华 冯泽斌 吕佳宇 蒋李鸣
• 来源期刊: 软件工程
• 学科: 工学
• 关键词: 人工智能 约束满足问题 启发式 AC系列算法 约束检查次数
• 年，卷（期）: 2018,（2）
• 所属期刊栏目: 方法与技术
• 页码范围: 30-34
• 页数: 5页
• 分类号: TP3-0
• 字数: 5685字
• 语种: 中文
• DOI: 10.19644/j.cnki.issn2096-1472.2018.02.010

摘要

约束满足问题是人工智能领域中一个重要的研究方向,其研究结果在符号推理、系统诊断、真值维护系统、资源分配和产品配置等问题中有广泛的应用.局部相容性定义了约束满足问题在约束传播过程中必须满足的性质,是约束传播发展的主要方向.而对于较为复杂的相容性问题中的AC系列算法的改进可谓难上之难.本文围绕着以弧相容、Singleton弧相容为代表的相容性技术和求解算法展开,主要针对AC-2001算法、SAC算法等进行优化改进,重点基于启发式进行改进,使之获得了更快的筛选速度.尤其对于SAC算法,大大减少了约束检查次数,获得了较为成功的基于启发式的改进结果.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蒋李鸣	吉林大学软件学院	1	1	1.0	1.0
2	吕佳宇	吉林大学软件学院	1	1	1.0	1.0
3	何哲华	吉林大学软件学院	1	1	1.0	1.0
4	冯泽斌	吉林大学软件学院	1	1	1.0	1.0