基于语义推理的作战计划验证方法

针对联合作战计划编制过程中的作战行动过程验证问题,在已有计划表示和计划推理相关研究的基础上,从知识管理的角度,提出了一种基于语义推理的联合作战行动过程验证方法。通过对计划知识进行基于本体的表示、基于描述逻辑及一阶谓词逻辑的逻辑推理,以实现对联合作战行动过程的验证。并以某联合作战行动过程的验证为例进行了实验。实验表明,该方法可实现对专家知识的扩展,能够发现联合作战行动过程开发的异常与不兼容,由此提高作战计划正确性检验的效率。