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.

翻译：在现实多智能体系统（MAS）中自主行动的智能体应能在执行过程中自适应。标准策略逻辑，如交替时态逻辑（ATL），建模了智能体基于状态或历史的行为。然而，对智能体可用行动及其所需行动知识的动态处理仍鲜有涉及。本文提出带动态行动的交替时态逻辑（ATL-D），该逻辑建模了授予和撤销行动的过程，及其扩展ATEL-D，捕获了此类更新如何影响智能体的知识。除概念贡献外，我们还提供了若干技术成果：分析了本逻辑相对于ATL的表达力，研究了其与规范系统的关系，并给出了相关计算问题的复杂度结果。