基于状态动作模型的中继卫星操作规划问题建模

摘要

通过分析中继卫星操作规划问题特点,提出一种基于状态-动作模型的任务规划建模方法.采用PDDL语言对中继卫星的领域知识进行描述,解决动作的持续时间约束、复杂资源约束以及一类特殊的外部事件的表达问题.最终建立的中继卫星操作规划模型表明,该方法较传统规划建模方法具有更强的描述能力.通过引入领域知识将操作任务规划问题分解为规模较小的子规划问题,并给出子任务对应的可选动作集合,从而减小了规划解的搜索空间,提高了求解效率.