基于规则推理的军事概念模型验证方法研究

著录项

• 来源
  《计算机应用研究》 |2013年第12期|3586-35883613|共4页
• 作者

  顾闯; 刘彬; 张学民; 孙王虎; 田书超;

  展开▼
• 作者单位

  军械工程学院装备指挥与管理系;

  石家庄050003;

  军械工程学院装备指挥与管理系;

  石家庄050003;

  军械工程学院装备指挥与管理系;

  石家庄050003;

  军械工程学院装备指挥与管理系;

  石家庄050003;

  军械工程学院装备指挥与管理系;

  石家庄050003;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 计算机仿真;
• 关键词

  军事概念模型验证; 语义验证; 规则推理; 语义网规则语言;