该文首先分析研究了目前智能规划领域中的典型方法和关键技术,并对通用规划系统的实现机理进行概括描述.通用的规划方法是为了解决一般的规划问题而设计的,在具体应用下效率比较低.为此,该文介绍了我们增加领域约束的智能规划方法和据此建立的基于模型检测的领域约束规划系统DCIPS,它主要考虑了领域知识在规划中的应用,将领域知识表示为领域约束添加到规划系统中,根据规划=动作+状态,相应地我们将领域约束分为三种:对象约束、过程约束和时序约束.采用对象约束来表达状态中对象之间的关系;采用过程约束来表达动作之间的关系;采用时序约束表达动作跟状态中对象之间的关系.通过在2002年智能规划大赛AIPS02上关于交通运输领域的三个原型例子测试,实验结果表明,DCIPS可以方便地增加领域知识,更加实用化,其效率也有了较大的提高.最后该文从缩小智能规划理论研究和实际应用开发的代沟的角度上,总结领域约束在规划系统中的发展前景.