论文部分内容阅读
针对传统的一致性推理模型多测重于单纯的定量、定性时态推理，难以适用于协同救援方案求取问题，基于Allen区间代数理论，添加逻辑约束，提出了一种协同救授一致性推理模型，该模型型同时包含救援行为时态约束和逻辑约束两类信息。基于该模型的等价类子网化简设计协同方案求解算法，并以海上协同教授一致性方案推理为例演示建模与求解过程。结果表明，该模型符合协同一致性方案求解对时态、逻辑两方面推理的需求，可应用于协同救援规划验证。