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

• 作者: 刘忠 姚莉 都业宏 钱猛
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 本体 规则 推理 作战计划验证 web本体语言 语义网规则语言 一阶逻辑
• 年，卷（期）: 2009,（8）
• 所属期刊栏目: 工程与应用
• 页码范围: 208-212,245
• 页数: 6页
• 分类号: TP391.9
• 字数: 4871字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2009.08.063

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	姚莉	国防科技大学信息系统与管理学院	43	421	11.0	18.0
2	刘忠	国防科技大学信息系统与管理学院	119	1072	18.0	28.0
3	钱猛	国防科技大学信息系统与管理学院	11	71	5.0	8.0
4	都业宏	国防科技大学信息系统与管理学院	1	15	1.0	1.0