基于语义推理的作战计划验证方法

上传：tengym 浏览： 38 推荐： 0 文件：PDF 大小：349.89KB 上传时间：2019-01-07 17:10:22 版权申诉

通过对计划知识进行基于本体的表示、基于描述逻辑及一阶谓词逻辑的逻辑推理, 以实现对联合作战行动过程的验证。并以某联合作战行动过程的验证为例进行了实验。

上传资源