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

Research on military conceptual model validation methods based on rule reasoning

作　　者：顾闯[1] 刘彬[1] 张学民[1] 孙王虎[1] 田书超[1] 

机构地区：[1]军械工程学院装备指挥与管理系,石家庄050003

出　　处：《计算机应用研究》2013年第12期3586-3588,3613,共4页Application Research of Computers

基　　金：国家自然科学基金资助项目(60904071)

摘　　要：针对现有的概念模型形式化验证方法较复杂、非形式化验证方法的主观性较强,提出了一种基于规则推理的军事概念模型验证方法,并详细介绍了该方法的原理、框架、实施步骤、验证内容和验证规则。该方法的实质是利用验证规则和推理机代替领域专家,在计算机上实现概念模型语义验证的自动化。它可以降低形式化验证方法的复杂性,减少非形式化验证方法的主观性和不确定性,提高概念模型验证的质量和效率。Aimed at the complexity of conceptual model formal validation methods and subjectivity of conceptual model informal validation methods, this paper developed a conceptual models validation method based on rule reasoning. Then it introduced the principle, frame, implementary steps, validation contents and validation rules in detail. The essence of the method was that replacing domain experts with validation rules and reasoning machine to validate the semantic content of conceptual models automatically in the computer. The method could reduce the complexity of the formalized validation methods, decrease subjectivity and uncertainty of informal validation methods and improved the efficiency of the conceptual model validation.

关 键 词：军事概念模型验证 语义验证 规则推理 语义网规则语言 

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]