I Would If I Could: Reasoning about Dynamics of Actions in Multi-Agent Systems
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911630423490560 |
|---|---|
| author | Galimullin, Rustam Grosinger, Hermine Mittelmann, Munyque |
| author_facet | Galimullin, Rustam Grosinger, Hermine Mittelmann, Munyque |
| contents | Autonomous agents acting in realistic Multi-Agent Systems (MAS) should be able to adapt during their execution. Standard strategic logics, such as Alternating-time Temporal Logic (ATL), model agents' state- or history-dependent behaviour. However, the dynamic treatment of agents' available actions and their knowledge of required actions is still rarely addressed. In this paper, we introduce ATL with Dynamic Actions (ATL-D), which models the process of granting and revoking actions, and its extension ATEL-D, which captures how such updates affect agents' knowledge. Beyond the conceptual contribution, we provide several technical results: we analyse the expressivity of our logic in relation to ATL, study its relation to normative systems, and provide complexity results for relevant computational problems. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2604_26053 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | I Would If I Could: Reasoning about Dynamics of Actions in Multi-Agent Systems Galimullin, Rustam Grosinger, Hermine Mittelmann, Munyque Logic in Computer Science Multiagent Systems F.4.1; I.2.4 Autonomous agents acting in realistic Multi-Agent Systems (MAS) should be able to adapt during their execution. Standard strategic logics, such as Alternating-time Temporal Logic (ATL), model agents' state- or history-dependent behaviour. However, the dynamic treatment of agents' available actions and their knowledge of required actions is still rarely addressed. In this paper, we introduce ATL with Dynamic Actions (ATL-D), which models the process of granting and revoking actions, and its extension ATEL-D, which captures how such updates affect agents' knowledge. Beyond the conceptual contribution, we provide several technical results: we analyse the expressivity of our logic in relation to ATL, study its relation to normative systems, and provide complexity results for relevant computational problems. |
| title | I Would If I Could: Reasoning about Dynamics of Actions in Multi-Agent Systems |
| topic | Logic in Computer Science Multiagent Systems F.4.1; I.2.4 |
| url | https://arxiv.org/abs/2604.26053 |