弹性约束CSP及其基于遗传算法的交互式求解Agent.pdfVIP

第 13 卷 　第 3 期 中国管理科学 Vol . 13 , No . 3 　　　　　　　　　　　 　　　　　　　　　　　 2005 年 　 　6 月 Chinese Journal of Management Science J un . , 　2005 文章编号 :1003 - 207 (2005) 03 - 0056 - 06 弹性约束 CSP 及其基于遗传算法的交互式求解 Agent 杜少甫 ,梁 　木梁 ,余 　雁 ( 中国科学技术大学管理学院 ,安徽 合肥 　230026) ( ) ( ) 摘 　要 :本文在回顾了约束满足问题 CSP 及其演进优化算法的基础上 ,提出了弹性约束 CSP 模型 ECSP ,并将该 模型形式化为六元组 V ,D ,H ,S ,P , G 。ECSP 模型是对已有的 PCSP 模型的改进 。为了寻求 ECSP 问题的决策 满意解 ,我们还设计了集成多 Ageng 、GA 优化以及分布式并行计算技术的一种交互式多 A geng 体系 。我们详细阐 述了其中的 GA 求解器算法 ,包括适应函数的确定 、编码方式的选择 、算子定义以及初始种群定义等 。最后 ,我们用 一个简单的算例证明了方法的有效性 。 ( ) ( ) 关键词 :弹性约束满足问题 ECSP ;决策满意解 ;Ageng ;遗传算法 GA 中图分类号 :F830 　　　文献标识码 :A mar [4 ] 综述了早期求解 CSP 的一些算法 。后来随着 1 　引言 进化算法的发展 , 人们开始考虑新的 CSP 优化算 约束满足问题(CSP) 是人工智能领域中一个基 法 。L eung 和 Wang[6 ] 设计了一种寻求 CSP 的 Pare 本问题 ,它不仅具有重要的理论价值 ,而且在很多领 to 最优解的遗传算法 ,他们组合使用多个适应函数 域中都有非常广泛的应用 ,如图像识别 、自然语言理 来指导搜索过程 ,其中每个适应函数均是对 目标函 解等 。根据 CSP 相关文献[ 1 - 4 ] ,CSP 可被定义为一 数的带权加成 。Schaffer [7 ] 提出了寻求集合覆盖问 个四元组 V , D , C , G , 即在满足约束集 C 中 题中多重分类规则的 V E GA ( Vector Evaluated Ge 所有约束的前提下 ,在可行域 D 中对变量集合 V 中 netic Algorit hm) 算法 ,但 V E GA 只能发现 Pareto 最 的所有变量赋值 , 以达到 G 中的诸 目标 。可见 ,规 优边界上的极点 ,该极点只能使某一 目标达到最优 , 划问题事实上就是 CSP 在运筹学领域 内的应用 。 而不能在多 目标上取得平衡 。为 了解决此 问题 , 根据运筹学理论 ,我们知道现实生活中最常遇见的 Horn [ 8 ]等提出了 N P GA (Niched Pareto Genetic Al