首页 下载 信息化 其它 下载详情 基于语义推理的作战计划验证方法 上传:tengym 浏览: 38 推荐: 0 文件:PDF 大小:349.89KB 上传时间:2019-01-07 17:10:22 版权申诉 通过对计划知识进行基于本体的表示、基于描述逻辑及一阶谓词逻辑的逻辑推理, 以实现对联合作战行动过程的验证。并以某联合作战行动过程的验证为例进行了实验。 立即下载 上传资源 微信扫一扫 用户评论 提交评论