小天体着陆任务规划修复的弧一致时间约束松弛推理方法

Plan repair is essential for probes to adapt autonomously to the uncertain environments of small celestial bodies. The temporal constraints associated with landing missions on such bodies are complex and interconnected，meaning that the speed of temporal constraint inference directly impacts the efficiency of plan repair. To address the issue of slow temporal constraint relaxation reasoning in plan repair for small celestial body landing missions，a variable domain support list is introduced to maintain the influence relationships between variables. Furthermore，a decremental arc-consistency method for temporal constraint relaxation reasoning is proposed. This method narrows down the reasoning scope of constraint relaxation，quickly determines the extension range of variable domains within the temporal network，and enables efficient reasoning for temporal constraint relaxation in plan repair. Numerical simulations are conducted using a scenario involving plan repair for a small celestial body landing mission，validating the effectiveness and efficiency of the proposed method. This approach provides support for rapid mission plan repair for landers on small celestial bodies.