Concurrent Game Structures with Roles
Truls Pedersen (Dept. of Information science, media studies,, University of Bergen, Norway), Sjur Dyrkolbotn (Durham Law School, Durham, University, United Kingdom), Piotr Ka\'zmierczak (Dept. of Computing,, Mathematics, Physics, Bergen University College, Norway), Erik Parmann

TL;DR
This paper introduces a new semantics for ATL using roles in concurrent game structures, enhancing modeling capabilities and analyzing complexity, with applications demonstrated in sensor networks.
Contribution
It proposes a novel role-based semantics for ATL, offering advantages over traditional models and analyzing the associated model checking complexity.
Findings
Roles improve expressiveness in strategic logic models
Model checking complexity is analyzed for the new semantics
Applications demonstrated in sensor network scenarios
Abstract
In the following paper we present a new semantics for the well-known strategic logic ATL. It is based on adding roles to concurrent game structures, that is at every state, each agent belongs to exactly one role, and the role specifies what actions are available to him at that state. We show advantages of the new semantics, provide motivating examples based on sensor networks, and analyze model checking complexity.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsArtificial Intelligence in Games
