%0 Journal Article %T 分布式约束满足问题研究及其进展 %A 王秦辉? %A 陈恩红? %A 王煦法? %J 软件学报 %P 2029-2039 %D 2006 %X 近年来,随着网络技术的快速发展和广泛应用,人工智能领域中的诸多问题,如时序安排、计划编制、资源分配等,越来越多地以分布形式出现,从而形成一类多主体系统.相应地,求解该类问题的传统约束满足问题也发展为分布式约束满足问题,分布式约束满足已经成为多主体系统求解的一般框架.首先,简要介绍了分布式约束满足问题的基本概念,总结了该问题的基本算法及其改进算法,并对这些算法的效率和性能进行了比较分析.然后,讨论了近年来分布式约束满足问题的若干典型应用;最后,给出了分布式约束满足问题基本形式的扩展和今后的研究方向.分布式约束满足问题最新研究进展表明:今后的工作将着重于面向现实问题求解的理论研究,为实际应用提供坚实的理论基础. %K 约束满足 %K 分布式人工智能 %K 多主体系统 %K 搜索 %K 异步 %U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20061001&flag=1