TIDE: Neue Tiefensuche für Planung mit zeitlich erweiterten Zielen

Die neueste Veröffentlichung auf arXiv (2601.12141v1) stellt TIDE vor – eine innovative Methode, die die Planung von Aufgaben mit zeitlich erweiterten Zielen (TEGs) revolutioniert. Durch die Kombination von Linear Temporal Logic auf endlichen Spuren (LTLf) mit einer gezielten Tiefensuche liefert TIDE einen strukturierten Ansatz, um komplexe Zielsequenzen effizient zu lösen.

Traditionelle LTLf-Planungsansätze wandeln das Problem häufig in klassische Erreichbarkeitsaufgaben um, die dann mit Standardplanern gelöst werden. Dabei fehlt oft eine heuristische Führung, die die Suche gezielt steuert. TIDE überwindet dieses Hindernis, indem es das temporale Problem in eine Reihe kleinerer Erreichungs- und Vermeidungssubprobleme zerlegt, die jeweils mit einem vorhandenen Planner gelöst werden können.

Der Schlüssel von TIDE liegt in der Identifikation und Priorisierung vielversprechender Automaton-Spuren im Domänengraphen. Durch kostenbasierte Heuristiken wird die Exploration gezielt gelenkt, während ein adaptiver Backtracking-Mechanismus fehlgeschlagene Pläne systematisch korrigiert. Dabei werden Kosten neu berechnet und nicht durchführbare Übergänge penalisiert, was sowohl Vollständigkeit als auch Effizienz gewährleistet.

Experimentelle Ergebnisse zeigen, dass TIDE eine vielversprechende Leistung erzielt und sich als wertvolle Ergänzung zu bestehenden Planungsmethoden für zeitlich erweiterte Ziele etabliert. Die Arbeit unterstreicht, wie gezielte Heuristiken und adaptive Rückverfolgung die Planung in komplexen, zeitabhängigen Szenarien deutlich verbessern können.