摘要
针对在作战仿真系统中有效表示军事规则的现实需求,研究了基于可拓学相关知识的规则表示方法。首先,从可拓学的理论框架出发,分析了可拓学的逻辑细胞及其支柱理论;其次,分析了军事规则表示中可能用到的相关方法,构建了谓词逻辑和产生式的可拓形式,并研究了可拓变换的基本类型;最后,将基元谓词逻辑-产生式规则表示方法应用到了典型军事规则的表示中,表达形式简单、直观、实用性强。
The method using the correlative knowledge about extension theory to represent rules is researched for meeting the practical requirements of operational simulation system. Firstly,the logic cellular and supporting theories of extenics are analyzed according to its theory framework. Secondly,through selecting the methods that may be used in military rules representation,the extension representation forms of predicate logic and production are built and the basic forms of extension transformation are provided. Finally,a typical operational simulation military rule is given by combining basic element predicate logic representation and basic element production representation.
出处
《电子信息对抗技术》
2015年第6期45-48,61,共5页
Electronic Information Warfare Technology
关键词
作战仿真
军事规则
可拓变换
表示
operational simulation
military rules
extension transformation
representation
