摘要

计算机兵棋是战前评估作战行动可行性的重要手段,其核心是兵棋规则的设计、验证和形式化。提出了基于属性的计算机兵棋规则模型:ABCWR(attribute based computer wargaming rule),为计算机兵棋规则库的设计提供了一套通用的形式化描述和规则判定方法,并对模型的规则判定性能进行了测试。测试结果显示:该模型的规则判定时间与规则数呈正比关系,判定性能满足当前商业兵棋规则库规模的要求。