基于GOLOG语言的作战任务形式化方法

The Formalization Method of Operation Task in GOLOG

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

Operation planning has become a big challenge in joint operation and command,with the rhythm of the battle becomes more quickly in the condition of information,the analysis and disassemble of a mission task is a important step of operation planning based on model.To improve the effect of operation task development,the method of operation task formalization was researched,according to the operation task development process and character,and the language of operational task in GOLOG Framework and GOLOG programming method were studied,which settles the basis for research from ordinary concept to application development.