Edelkamp S,Helmert M.The model checking integrated planning system.AI-Magazine (AIMAG),2001,67-71.

• 对动作进行置换的含义见第3节中的"定义3.；2"；本节是从宏观上介绍本文内容的组织结构