中文摘要：

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

英文摘要：

The traditional consistent reasoning models are oriented to single qualitative or quantitative temporal reasoning and can not be adjusted for getting feasible consistent plan of cooperative rescue being absence of logic relation description and calculation of actions. Adding logic constraint, a new consistent reasoning model based on interval algebra theory was presented which described not only the qualitative and quantitative temporal information but also the logic dependent relations among behaviors. Thereafter, a calculating algorithm for consistent plan based reduction of equivalent subnet of that this model was given and demonstrated with a consistent plan reasoning of crossing and landing rescue. The result shows this model is a well matched tool for consistent plan reasoning with both temporal and logic constraints and can be applied to cooperative rescue plan verification.