计算机应用研究
計算機應用研究
계산궤응용연구
APPLICATION RESEARCH OF COMPUTERS
2013年
12期
3586-3588,3613
,共4页
顾闯%刘彬%张学民%孙王虎%田书超
顧闖%劉彬%張學民%孫王虎%田書超
고틈%류빈%장학민%손왕호%전서초
军事概念模型验证%语义验证%规则推理%语义网规则语言
軍事概唸模型驗證%語義驗證%規則推理%語義網規則語言
군사개념모형험증%어의험증%규칙추리%어의망규칙어언
military conceptual model validation%semantic validation%rule reasoning%SWRL(semantic Web rule language)
针对现有的概念模型形式化验证方法较复杂、非形式化验证方法的主观性较强,提出了一种基于规则推理的军事概念模型验证方法,并详细介绍了该方法的原理、框架、实施步骤、验证内容和验证规则.该方法的实质是利用验证规则和推理机代替领域专家,在计算机上实现概念模型语义验证的自动化.它可以降低形式化验证方法的复杂性,减少非形式化验证方法的主观性和不确定性,提高概念模型验证的质量和效率.
針對現有的概唸模型形式化驗證方法較複雜、非形式化驗證方法的主觀性較彊,提齣瞭一種基于規則推理的軍事概唸模型驗證方法,併詳細介紹瞭該方法的原理、框架、實施步驟、驗證內容和驗證規則.該方法的實質是利用驗證規則和推理機代替領域專傢,在計算機上實現概唸模型語義驗證的自動化.它可以降低形式化驗證方法的複雜性,減少非形式化驗證方法的主觀性和不確定性,提高概唸模型驗證的質量和效率.
침대현유적개념모형형식화험증방법교복잡、비형식화험증방법적주관성교강,제출료일충기우규칙추리적군사개념모형험증방법,병상세개소료해방법적원리、광가、실시보취、험증내용화험증규칙.해방법적실질시이용험증규칙화추리궤대체영역전가,재계산궤상실현개념모형어의험증적자동화.타가이강저형식화험증방법적복잡성,감소비형식화험증방법적주관성화불학정성,제고개념모형험증적질량화효솔.