欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
通过对空战决策的思维方法进行分析，根据编队协同空战的决策特点和需求，应用时态分支逻辑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.
同期刊论文项目
同项目期刊论文
期刊信息
位置：