谓词Petri网在防空C^3I专家决策系统中的应用

Application of predicate Petri net in air-defense C3I expert decision system

军事专家系统是防空C3I辅助决策系统中的重要组成部份,它利用人类专家的知识和解决问题的方法来解决该领域的问题,其实质是一个复杂的逻辑推理过程。如何描述其推理过程是设计专家系统首先必须解决的一个问题。因此,本文提出采用Petri网工具来描述防空C3I军事专家决策系统的推理过程,大大地提高了决策的准确性,这也为描述专家系统提供了一种图示表示工具,可大大地提高系统的研发过程。

Military expert system is one of the most important parts of air-defence C^3I aided decision-making system. The knowledge of the human being experts and their methods are used for solving the problems in military fields, which is essentially a complex logic reasoning process, ttow to describe the reasoning process is of vital importance to the expert system design. In this paper, the authors used Petri net as a tool for describing the reasoning process of air-defence C^3I military expert decision-making system, which can improve the veracity greatly. This can also used for describing the expert system, which can speed up the development of the whole system.