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

• 作者: 刘彬 孙王虎 张学民 田书超 顾闯
• 来源期刊: 计算机应用研究
• 关键词: 军事概念模型验证 语义验证 规则推理 语义网规则语言
• 年，卷（期）: 2013,（12）
• 所属期刊栏目: 算法研究探讨
• 页码范围: 3586-3588,3613
• 页数: 4页
• 分类号: TP391.9
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2013.12.017

摘要

针对现有的概念模型形式化验证方法较复杂、非形式化验证方法的主观性较强,提出了一种基于规则推理的军事概念模型验证方法,并详细介绍了该方法的原理、框架、实施步骤、验证内容和验证规则.该方法的实质是利用验证规则和推理机代替领域专家,在计算机上实现概念模型语义验证的自动化.它可以降低形式化验证方法的复杂性,减少非形式化验证方法的主观性和不确定性,提高概念模型验证的质量和效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张学民	军械工程学院装备指挥与管理系	8	25	4.0	4.0
2	刘彬	军械工程学院装备指挥与管理系	26	67	5.0	6.0
3	田书超	军械工程学院装备指挥与管理系	8	16	2.0	3.0
4	孙王虎	军械工程学院装备指挥与管理系	4	9	2.0	3.0
5	顾闯	军械工程学院装备指挥与管理系	7	44	4.0	6.0