论文部分内容阅读
军事运筹学的特点是用数学模型精确地处理军事指挥中的决策问题,但军事指挥上许多问题很难定量化和数学化。本系统依靠人工智能技术和数学模型相结合的方法为炮兵指挥员在火力决策中提供专家水平的判断和决策。系统采用框架与规则结合的形式表示战场态势和军事专家知识,推理策略是目标驱动,利用元规则指导规则选择。系统根据输入的战场情况,自动推理、判断和决策,并解释所作出的判断和决策。系统用逻辑程序设计语言Turbo—PROL 实现。
The characteristics of military operations research are to use mathematical models to precisely handle the decision-making in military command, but many of the issues in military command are difficult to quantify and math. The system relies on a combination of artificial intelligence and mathematical models to provide expert commanding and decision-making for artillery commanders in firepower decision-making. The system adopts the combination of framework and rules to represent the battlefield situation and military expert knowledge. The reasoning strategy is goal-driven and the meta-rules are used to guide the choice of rules. System based on the battlefield input, automatic reasoning, judgment and decision-making, and to explain the judgments made and decisions. The system is implemented with the logic programming language Turbo-PROL.