智能规划是人工智能的核心技术和最具挑战性的研究方向之一,近十余年取得了快速发展,被广泛地应用于航空航天、机器人控制、后勤调度、游戏角色设计和系统建模中。状态演算是一种行动推理形式化系统,状态演算是对情景演算和流演算的改进,为行动推理中框架问题和高效推理机制提出了一种自然有效的解决方案,具有更广泛的适用范围。本文基于状态演算,围绕动作的并发和纲要规划进行研究,主要工作如下:(1)提出了一种基于状态演算的并发纲要规划。通过引入规划表达式,用以描述规划中的各动作间顺序、非确定选择、并发等关系,特别是包含有相关同步并发、无关同步并发和交替并发的并发关系,给出规划表达式的语法和语义,克服了现有的并发仅是交替并发或仅是同步并发的缺陷。给出的动态规划Search算子是当在线执行的状态与前一次离线执行的状态不同时才进行再一次离线规划,是对基于情景演算的动态规划算子的一种改进。(2)设计并实现了基于状态演算的并发纲要规划的规划器CPAPP-SC。给出了CPAPP-SC的组成,根据规划表达式和动态规划Search算子的语义,利用Prolog语言实现了CPAPP-SC的解释器。(3)提出并实现了一种改进的动态规划算子——ESearch算子。重新给出了规划表达式和ESearch算子的语义,并加以实现。ESearch算子解决了动态规划Search算子在对非确定选择进行离线规划时可能不成功的缺陷。