期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
使用本体和SWRL验证作战计划的方法
被引量:
12
1
作者
钱猛
刘忠
+1 位作者
都业宏
姚莉
《计算机工程与应用》
CSCD
北大核心
2009年第8期208-212,245,共6页
计划验证是计划编制过程的重要环节。从知识管理的角度,在已有计划表示和计划推理相关研究的基础上,提出了一种基于本体和规则的计划验证方法框架,通过对计划知识进行基于本体的表示、基于描述逻辑、一阶谓词逻辑的规则知识抽取和计划推...
计划验证是计划编制过程的重要环节。从知识管理的角度,在已有计划表示和计划推理相关研究的基础上,提出了一种基于本体和规则的计划验证方法框架,通过对计划知识进行基于本体的表示、基于描述逻辑、一阶谓词逻辑的规则知识抽取和计划推理,以实现对计划的验证。并以某排雷作战计划的验证为例进行了实验。实验表明,该方法实现了对专家知识的扩展,提高了作战计划正确性检验的效率。
展开更多
关键词
本体
规则
推理
作战计划验证
WEB本体语言
语义网规则语言
一阶逻辑
下载PDF
职称材料
题名
使用本体和SWRL验证作战计划的方法
被引量:
12
1
作者
钱猛
刘忠
都业宏
姚莉
机构
国防科技大学信息系统与管理学院
出处
《计算机工程与应用》
CSCD
北大核心
2009年第8期208-212,245,共6页
基金
国家自然科学基金No.70271004
No.70771109~~
文摘
计划验证是计划编制过程的重要环节。从知识管理的角度,在已有计划表示和计划推理相关研究的基础上,提出了一种基于本体和规则的计划验证方法框架,通过对计划知识进行基于本体的表示、基于描述逻辑、一阶谓词逻辑的规则知识抽取和计划推理,以实现对计划的验证。并以某排雷作战计划的验证为例进行了实验。实验表明,该方法实现了对专家知识的扩展,提高了作战计划正确性检验的效率。
关键词
本体
规则
推理
作战计划验证
WEB本体语言
语义网规则语言
一阶逻辑
Keywords
ontology
rule
reasoning
course of aetion(coa) validation
Web Ontology Language(OWL)
Semantic Web Rule Language(SWRL)
First Order Logic(FOL)
分类号
TP391.9 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
使用本体和SWRL验证作战计划的方法
钱猛
刘忠
都业宏
姚莉
《计算机工程与应用》
CSCD
北大核心
2009
12
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部