| 基于语义推理的作战计划验证方法 |
| |
| 引用本文： | 刘忠,钱猛,黄金才,张维明.基于语义推理的作战计划验证方法[J].系统工程与电子技术,2010,32(5):988-993. |
| |
| 作者姓名： | 刘忠 钱猛 黄金才 张维明 |
| |
| 作者单位： | （国防科学技术大学信息系统与管理学院， 湖南 长沙 410073） |
| |
| 基金项目： | 国家自然科学基金(70401003;70771109)资助课题 |
| |
| 摘 要： | 针对联合作战计划编制过程中的作战行动过程验证问题,在已有计划表示和计划推理相关研究的基础上，从知识管理的角度，提出了一种基于语义推理的联合作战行动过程验证方法。通过对计划知识进行基于本体的表示、基于描述逻辑及一阶谓词逻辑的逻辑推理，以实现对联合作战行动过程的验证。并以某联合作战行动过程的验证为例进行了实验。实验表明，该方法可实现对专家知识的扩展，能够发现联合作战行动过程开发的异常与不兼容，由此提高作战计划正确性检验的效率。
|
| 关 键 词： | 本体 规则 语义推理 作战行动过程验证 |
Semantic reasoning based approach to COA validation |
| |
| LIU Zhong,QIAN Meng,HUANG Jin-cai,ZHANG Wei-ming.Semantic reasoning based approach to COA validation[J].System Engineering and Electronics,2010,32(5):988-993. |
| |
| Authors: | LIU Zhong QIAN Meng HUANG Jin-cai ZHANG Wei-ming |
| |
| Institution: | （School of Information System & Management, National Univ. of Defense Technology, Changsha 410073, China） |
| |
| Abstract: | |
| |
| Keywords: | ontology rule sementic reasoning course of action validation |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《系统工程与电子技术》浏览原始摘要信息 |
| 点击此处可从《系统工程与电子技术》下载免费的PDF全文 |
