Planungsverfahren für das Allgemeine Spiel

点击翻译按钮获取中文摘要

Mit der allgemeinen Formulierung von Spielen rücken das Zwei- und das Mehrpersonenspiel inhaltlich an Fragestellungen in der KI-Handlungsplanung heran, wobei als Planungsziel anstatt eines Lösungspfades eine Spielstrategie erwartet wird. Die Lösung von allgemeinen Spielen stellt somit hohe Ansprüche an die Zeit- und Platzeffizienz der Algorithmen. Die von uns entwickelte automatische Transformation der Eingabe vom Spiel- in ein Planungskalkül ermöglicht den Nutzen und die Erweiterung von etablierten Planungsverfahren, insbesondere die symbolische Beschreibung und Verarbeitung von Zustandsmengen mittels binärer Entscheidungsdiagramme. In diesem Projekt wollen wir initiale Ergebnisse zur symbolischen Behandlung von allgemeinen Spielen durch Planungstechnologie erweitern, indem wir die statische Analyse beschleunigen, weitere Spiele vollständig lösen, Gegenspielerverhaltensmodelle integrieren, Endspieldatenbanken für gute Spieler aufbauen, sowie die partielle Sichtbarkeit und die simultane Zugausführung berücksichtigen.