Efficiently Eliminate Temporal Conflicts in Operation Plan

Time is critical to military operations and it is of great importance to guarantee temporal consistence of the operational plans. However, there always exist lots of temporal conflicts in a plan. To manage these temporal conflicts manually is irritated, especially when the size of a plan is large and many kinds of complex temporal constraints are involved. This paper presents a method to check and restore the temporal consistency of plan automatically. The STN is used to represent and reason temporal constraints and a conflict resolution method based on constraint relaxation is presented. We prove that the proposed method can eliminate all of temporal conflicts in polynomial time. Results of the experiment demonstrate the efficiency of the proposed method.