使用本体和SWRL验证作战计划的方法

摘要：

计划验证是计划编制过程的重要环节.从知识管理的角度,在已有计划表示和计划推理相关研究的基础上,提出了一种基于本体和规则的计划验证方法框架,通过对计划知识进行基于本体的表示、基于描述逻辑、一阶谓词逻辑的规则知识抽取和计划推理,以实现对计划的验证.并以某排雷作战计划的验证为例进行了实验.实验表明,该方法实现了对专家知识的扩展,提高了作战计划正确性检验的效率.

关键词：本体、规则、推理、作战计划验证、web本体语言、语义网规则语言、一阶逻辑

所属期刊栏目：45

分类号：TP391.9(计算技术、计算机技术)

资助基金：国家自然科学基金the National Natural Science Foundation of China under Grant 70271004,70771109

在线出版日期：2009-04-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：208-212,245