Endogenous energy reactive modules games: modelling side payments among resource-bounded agents

Conference item

We introduce Energy Reactive Modules Games (ERMGs), an extension of Reactive Modules Games (RMGs) in which actions incur an energy cost (which may be positive or negative), and the choices that players make are restricted by the energy available to them. In ERMGs, each action is associated with an energy level update, which determines how their energy level is affected by the performance of the action. In addition, agents are provided with an initial energy allowance. This allowance plays a crucial role in shaping an agent's behaviour, as it must be taken into consideration when one is determining their strategy: agents may only perform actions if they have the requisite energy. We begin by studying rational verification for ERMGs and then introduce Endogenous ERMGs, where agents can choose to transfer their energy to other agents. This exchange may enable equilibria that are impossible to achieve without such transfers. We study the decision problem of whether a stable outcome exists under both the Nash equilibrium and Core solution concepts.

Authors: Gutierrez, J; Hyland, D; Najib, M; Perelli, G; Wooldridge, M

• Publication status: Published
• Peer review status: Peer reviewed
• Publisher: International Joint Conferences on Artificial Intelligence
• Host title: Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence (IJCAI-24)
• Pages: 67-75
• Publication date: 2024-08-01
• Acceptance date: 2024-04-16
• Event title: 33rd International Joint Conference on Artificial Intelligence (IJCAI 2024)
• Event location: Jeju Island, South Korea
• Event website: https://ijcai24.org/
• Event start date: 2024-08-03
• Event end date: 2024-08-09
• DOI: 10.24963/ijcai.2024/8
• ISSN: 1045-0823
• ISBN: 978-1-956792-04-1
• Language: English
• Keywords: agent-based and multi-agent systems: mas: formal verification; validation and synthesis