《计算机应用研究》|Application Research of Computers

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

Research on military conceptual model validation methodsbased on rule reasoning

免费全文下载 (已被下载 次)  
获取PDF全文
作者 顾闯,刘彬,张学民,孙王虎,田书超
机构 军械工程学院 装备指挥与管理系,石家庄 050003
统计 摘要被查看 次,已被下载
文章编号 1001-3695(2013)12-3586-03
DOI 10.3969/j.issn.1001-3695.2013.12.017
摘要 针对现有的概念模型形式化验证方法较复杂、非形式化验证方法的主观性较强, 提出了一种基于规则推理的军事概念模型验证方法, 并详细介绍了该方法的原理、框架、实施步骤、验证内容和验证规则。该方法的实质是利用验证规则和推理机代替领域专家, 在计算机上实现概念模型语义验证的自动化。它可以降低形式化验证方法的复杂性, 减少非形式化验证方法的主观性和不确定性, 提高概念模型验证的质量和效率。
关键词 军事概念模型验证;语义验证;规则推理;语义网规则语言
基金项目 国家自然科学基金资助项目(60904071)
本文URL http://www.arocmag.com/article/01-2013-12-017.html
英文标题 Research on military conceptual model validation methodsbased on rule reasoning
作者英文名 GU Chuang, LIU Bin, ZHANG Xue-min, SUN Wang-hu, TIAN Shu-chao
机构英文名 Dept. of Equipment Command & Management, Ordnance Engineering College, Shijiazhuang 050003, China
英文摘要 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.
英文关键词 military conceptual model validation; semantic validation; rule reasoning; SWRL(semantic Web rule language)
参考文献 查看稿件参考文献
  [1] 樊浩, 黄树彩. 基于Petri网的概念模型验证方法研究[J] . 计算机应用研究, 2010, 27(3):999-1002, 1005.
[2] YANG Hui-zhen, HAO Li-li. Colored Petri nets-based formal modeling and validation for federation conceptual model[J] . Journal of System Simulation, 2012, 24(7):1361-1365.
[3] 岳增坤, 陈炜, 夏学知, 等. 基于xUML的C4ISR系统可执行对象模型设计[J] . 系统仿真学报, 2009, 21(8):2190-2194.
[4] 杨惠珍, 康凤举. HLA联邦形式化校核方法初探[J] . 系统仿真学报, 2008, 20(22):6039-6041.
[5] 夏薇, 姚益平, 慕晓冬. 基于TLA的事件图模型形式化验证方法[J] . 计算机应用研究, 2011, 28(11):4171-4173, 4187.
[6] 何晓晔, 徐培德, 沙基昌. 任务空间概念模型轻量级形式化校核方法初探[J] . 系统仿真学报, 2006, 18(5):1108-1109.
[7] 陈丽娜, 赵建民. 一种新的Statechart模型验证方法[J] . 计算机科学, 2011, 38(2):144-148.
[8] 骆翔宇, 苏开乐, 顾明. 一种求解认知难题的模型检查方法[J] . 计算机学报, 2010, 33(3):406-414.
[9] JAMES C. XSL transformations (XSLT) version 2. 0 [EB/OL] . (2002-05-30) [2009-10-10] . http://www. w3. org/TR/xslt2. 0.
[10] EVERMANN J. A UML and OWL description of Bunge's upper-level ontology model[J] . Software and Systems Modeling, 2009, 8(2):235-249.
[11] PARREIRAS F S, STAAB S. Using ontologies with UML class-based modeling:the two use approach[J] . Data and Knowledge Engineering, 2010, 69(11):1194-1207.
[12] FRIEDMAN-HILL E. Jess in action:Java rule-based systems[M] . [S. l. ] :Manning Publications Co, 2003.
[13] Sandia National Laboratories. Jess, the rule engine for the Java platform[EB/OL] . (2008-11-10) [2012-01-12] . http://Herzberg. ca. sandia. gov/jess.
[14] W3C. SWRL:a semantic Web rule language combining OWL and ruleML[EB/OL] . (2004-12-05) [2012-01-12] . http://www. daml. org/rul es/proposal.
[15] MA Li, YU He-long, WNAG Yue, et al. The knowledge representation and semantic reasoning realization of productivity grade based on ontology and SWRL[C] //Proc of the 5th International Conference on Computer and Computing Technologies in Agriculture. Beijing:China Agriculture University, 2011:381-389.
收稿日期
修回日期
页码 3586-3588,3613
中图分类号 TP391.9
文献标志码 A