基于STN的计划执行过程时间冲突检测与消解

Temporal conflict detection and resolution in process of plan execution based on STN

计划执行过程中,各种不确定因素常常引起时间约束的违背。为维护计划的时间一致性,利用STN表示时间约束,分析了由于活动的提前或延迟导致的两种时间冲突,给出了冲突判定定理,在此基础上通过松弛冲突路径上某些约束来消解冲突;最后通过一个计划案例的仿真验证了本方法能够有效检测和消解执行过程中的时间冲突。

In the process of plan execution,temporal constraints aould always violated because of external uncertain factors.To guarantee all the temporal constraints could be satisfied,this paper used STN to represent temporal constraints,and analyzed two kinds of temporal conflicts induced by activities ahead or lag of schedule in the process of plan execution,gave the theorem of conflict identification,and proposed a method of conflict resolution based on constraints relaxation.In the last part,an illustrative plan is provided to validate that this method of temporal conflict detection and resolution is effective.