Abstrakt. Som ett bidrag till utmaningen att bygga spel-spel AI-system, utvecklar och analyserar vi ett formellt språk för att representera och resonera om strategier. Vårt logiska språk bygger på det befintliga allmänna Game Description Language (GDL) och utökar det med en standard modalitet för linjär tid tillsammans med två dubbla bindväv för att uttrycka preferenser när man kombinerar strategier. Språkets semantik tillhandahålls av en standardstatsövergångsmodell. Som sådan, problem som kräver resonemang om spel kan lösas med standardmetoder för resonemang om åtgärder och förändring. Vi ger också språket en specifik semantik genom vilken strategiformler förstås som flytta rekommendationer för en spelare. För att illustrera hur vår formalism stöder automatiserade resonemang om strategier visar vi två exempel på genomförandemetoder: för det första formaliserar vi den semantiska tolkningen av vårt språk i samband med spelregler och strategiregler i situationsanalysen; för det andra visar vi hur resonemangsproblemet kan lösas med Svarsset-programmering.
Strategier som flytta rekommendationer av spelare baserat på spel beskrivning språk beaktas i REF.
Representing and Reasoning about Game Strategies
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}