Automatisierte BDI-Planerstellung mit Alternating-Time Temporal Logic

arXiv – cs.AI Original ≈1 Min. Lesezeit
Anzeige

Ein neues Tool ermöglicht die automatische Erstellung von BDI‑Plänen (Belief‑Desire‑Intention) mithilfe von Alternating‑Time Temporal Logic (ATL). Während herkömmliche Ansätze oft viel manuellen Aufwand erfordern und sich auf Einzelagenten beschränken, berücksichtigt das neue System sowohl Konkurrenz als auch Kooperation zwischen mehreren Agenten. In einer demonstrativen Spielumgebung, in der Agenten zusammenarbeiten müssen, um ein gemeinsames Ziel zu erreichen, zeigte das Tool, dass die generierten Pläne zuverlässig zum Erfolg führen.

Ähnliche Artikel