计算机工程与应用 ›› 2009, Vol. 45 ›› Issue (8): 208-212.DOI: 10.3778/j.issn.1002-8331.2009.08.063
钱 猛,刘 忠,都业宏,姚 莉
QIAN Meng,LIU Zhong,DU Ye-hong,YAO Li
摘要: 计划验证是计划编制过程的重要环节。从知识管理的角度,在已有计划表示和计划推理相关研究的基础上,提出了一种基于本体和规则的计划验证方法框架,通过对计划知识进行基于本体的表示、基于描述逻辑、一阶谓词逻辑的规则知识抽取和计划推理,以实现对计划的验证。并以某排雷作战计划的验证为例进行了实验。实验表明,该方法实现了对专家知识的扩展,提高了作战计划正确性检验的效率。