Abstract Alternating-time temporal logik (ATL) är en modal logik som gör det möjligt att resonera om agenters förmågor i spelliknande scenarier. Semantiska varianter av ATL bygger vanligen på olika antaganden om vilken typ av spel som spelas, inklusive egenskaper hos agenter (perfekt vs. ofullständig information, perfekt vs. imperfekt minne, etc.). ATL har studerats ingående under tidigare år, men större delen av forskningen var inriktad på modellkontroll. Studier av andra beslutsproblem (t.ex. tillfredsställelse) och formella meta-egenskaper av logiken (som axiomatisering eller expressivitet) har varit relativt knappa, och mestadels begränsat till den grundläggande varianten av ATL där agenter har perfekt information och perfekt minne. Framför allt lämnas en jämförelse mellan olika semantiska varianter av logiken i stort sett orörd. I den här artikeln visar vi att olika semantik av förmåga i ATL ger upphov till olika validitetsuppsättningar. Frågan är viktig av flera skäl. För det första identifierar många logiker en logik med dess uppsättning sanna meningar. Som en följd av detta bevisar vi att olika uppfattningar om förmåga framkallar olika strategiska logiker. För det andra visar vi att olika koncept av förmåga framkallar olika allmänna egenskaper hos spel. För det tredje kan studien ses som det första systematiska steget mot tillfredsställande-kontroll-algoritmer för ATL med bristfällig information. Vi introducerar sofistikerade modeller och visar variabla resultat som är ett viktigt tekniskt bidrag till formell analys av strategiska logiker.
Referensreferensreferensen gjorde ytterligare en omfattande jämförelse av varianter av ATL/ATL * med olika strategiska förmågor.
Comparing variants of strategic ability: how uncertainty and memory influence general properties of games
{'venue': 'Autonomous Agents and Multi-Agent Systems', 'journal': 'Autonomous Agents and Multi-Agent Systems', 'mag_field_of_study': ['Computer Science']}