基于次协调逻辑的空战决策支持系统研究

A Decision Support System for Air Combat Based on Paraconsistent Logic

为了解决传统逻辑推理在引入两个相互矛盾的事实时,推理将停止,继而提供不出有价值的结论的问题,给出了基于次协调逻辑理论的一种推理方法。在此基础上构造了次协调逻辑辅助推理空战决策支持系统,在传统逻辑推理因矛盾停止时,启动次协调推理,使得空战决策支持能够在矛盾中求协调,避免了系统陷入平庸状态。在某型空战模拟器上使用取得了初步成效,从仿真结果看具有次协调逻辑辅助推理的空战决策支持系统对复杂的空战环境具有良好的适应性。

In order to solve the problem that the traditional logic reasoning system would stop working,and then it can not give out any usable conclusion when two inconsistent rides are adopted, this paper gives out a reasoning way based on paraconsistent logic. In addition,the decision support system （DSS） for air combat with paraconsistent logic assistant reasoning system is built. This DSS can give out usable combat decision in amount of combat inconsistent facts avoiding it to be useless. Being used in an air combat simulator, the DSS shows its usability. The simulation resuit suggests that the DSS for air combat with paraconsistent logic assistant reasoning system has a good adaptability to the complex combat conditions.