摘要
针对联合作战计划编制过程中的作战行动过程验证问题,在已有计划表示和计划推理相关研究的基础上,从知识管理的角度,提出了一种基于语义推理的联合作战行动过程验证方法。通过对计划知识进行基于本体的表示、基于描述逻辑及一阶谓词逻辑的逻辑推理,以实现对联合作战行动过程的验证。并以某联合作战行动过程的验证为例进行了实验。实验表明,该方法可实现对专家知识的扩展,能够发现联合作战行动过程开发的异常与不兼容,由此提高作战计划正确性检验的效率。
The course of action（COA） validation is the fundamental and pivotal step.Based on the research on plan representation and plan reasoning,a semantic reasoning approach for COA validation is proposed.In this approach,the COA validation is realized through constructing the ontological COA representation and description logic and first order logic based COA knowledge reasoning.A joint COA validation is given as the practical example.The example shows that the proposed approach can extend the knowledge of experts,find out the exceoption and discompatibility of the developed COA and improve the efficiency of correctness validation for COA development.
出处
《系统工程与电子技术》
EI
CSCD
北大核心
2010年第5期988-993,共6页
Systems Engineering and Electronics
基金
国家自然科学基金(70401003
70771109)资助课题
关键词
本体
规则
语义推理
作战行动过程验证
ontology
rule
sementic reasoning
course of action validation
