论文部分内容阅读
针对在作战仿真系统中有效表示军事规则的现实需求,研究了基于可拓学相关知识的规则表示方法。首先,从可拓学的理论框架出发,分析了可拓学的逻辑细胞及其支柱理论;其次,分析了军事规则表示中可能用到的相关方法,构建了谓词逻辑和产生式的可拓形式,并研究了可拓变换的基本类型;最后,将基元谓词逻辑-产生式规则表示方法应用到了典型军事规则的表示中,表达形式简单、直观、实用性强。