Strategische Fähigkeiten und Vergleiche in Mehrbenutzer-Systemen: Eine Erweiterung der Alternating-Time Temporal Logic

Die Autoren stellen HyperATLS vor, eine Erweiterung der Alternating-Time Temporal Logic (ATL), die es ermöglicht, strategische Fähigkeiten von Agenten zu vergleichen und Agenten zum Teilen von Strategien zu zwingen. HyperATL*S ist eine ausdrucksstarke Spezifikationssprache, die wichtige KI-bezogene Eigenschaften erfassen kann, die mit bestehenden Logiken nicht erreichbar waren.