BDOTI结构空战指挥控制决策的逻辑框架  

The Logical Structure of Air Combat Control Decision based on BDOTI

作　　者：刘金星[1] 杨有龙[1] 佟明安[1] 

机构地区：[1]空军第一航空学院,西安电子科技大学,西北工业大学电子信息学院,河南信阳464000,陕西西安710077,陕西西安710072

出　　处：《火力与指挥控制》2008年第1期28-30,43,共4页Fire Control & Command Control

基　　金：国家自然科学基金资助项目(60574075)

摘　　要：通过对空战决策的思维方法进行分析,根据编队协同空战的决策特点和需求,应用时态分支逻辑CTL*建立了协同空战指挥决策可能世界的语义。应用时态逻辑和模态逻辑建立了基于信念(Belief)、愿望(Desire)、责任(Obligation)、战术作战意图(Tactical Intention)BDOTI结构的机载空战指挥决策的逻辑框架。并设计了一个BDOTI解释器对空战指挥决策的全过程进行描述。By analyzing the thinking methods of air combat decision, the possible world of air combat command control, is described by the CTL ^＊ （Computation Tree Logic） according to the features and needs Of team cooperative air combat. Second, a BDOTI logic framework, i.e. Belief, Desire, Obligation and Tactical Intention, of airborne command Control is constructed by temporal logic and modal logic. FinaIly, a BDOTI interpreter is given to describe the whole process of air combat.

关 键 词：空战 指挥控制 AGENT 逻辑框架 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]