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

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

Research on military conceptual model validation methodsbased on rule reasoning

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.