基于时态逻辑推理的航空兵时敏打击团队构建方法研究

摘要

为形成合理的航空兵时敏打击任务团队，给出了是否需要形成任务团队的合作需求依据，同时总结了在选择适合的航空兵攻击平台时应考虑的主要因素。考虑攻击平台可能的多任务工作状态，建立了时区(时间点)之间的时态逻辑关系模型，推导了时态逻辑推理算法。通过一个有人攻击机与无人电子战飞机协同打击时敏目标的案例仿真，验证了基于时态逻辑推理的航空兵时敏打击团队构建方法的可行性。