Zero-Shot-Anweisungsverfolgung in RL dank strukturierter LTL‑Darstellungen
Linear Temporal Logic (LTL) bietet ein kraftvolles Mittel, um komplexe und strukturierte Aufgaben für Reinforcement‑Learning‑Agenten zu formulieren. Durch die Interpretation von LTL‑Anweisungen als endliche Automaten – quasi als hochrangige Programme, die den Fortschritt überwachen – lässt sich ein einzelner, generalistischer Policy-Ansatz entwickeln, der beliebige Anweisungen im Testzeitpunkt ausführen kann.