10.3778/j.issn.1002-8331.2009.08.063
使用本体和SWRL验证作战计划的方法
计划验证是计划编制过程的重要环节.从知识管理的角度,在已有计划表示和计划推理相关研究的基础上,提出了一种基于本体和规则的计划验证方法框架,通过对计划知识进行基于本体的表示、基于描述逻辑、一阶谓词逻辑的规则知识抽取和计划推理,以实现对计划的验证.并以某排雷作战计划的验证为例进行了实验.实验表明,该方法实现了对专家知识的扩展,提高了作战计划正确性检验的效率.
本体、规则、推理、作战计划验证、web本体语言、语义网规则语言、一阶逻辑
45
TP391.9(计算技术、计算机技术)
国家自然科学基金the National Natural Science Foundation of China under Grant 70271004,70771109
2009-04-30(万方平台首次上网日期,不代表论文的发表时间)
共6页
208-212,245