论文部分内容阅读
随着信息化条件下战场节奏的加快,作战计划制定已经成为联合作战指挥面临的重大挑战。受领使命任务的分析分解是基于模型的作战计划制定的重要步骤。为提高作战任务开发效率,通过分析作战任务的开发流程及作战任务的特点,研究了基于GOLOG语言的作战任务形式化方法,阐述了基于GOLOG语言的作战任务的描述框架,为国内该方向从一般性概念研究转入应用工具开发奠定了技术基础。