SPIRIT 2024

27 November 2024, Bolzano, Italy

 3rd Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy

Colocated with the 23rd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2024)

 Aim and Scope

Over the past fifteen years, research in artificial intelligence, algorithmic game theory, theoretical computer science, multi-agent systems, and microeconomics have joined forces to tackle problems involving incentives and computation. Interestingly, while microeconomics provides computer science with the basic models, computer science raises crucial questions related to computation and learning that suggest studying new models. The result is a synergic integration of all the fields. Interestingly, the final goal is the provision of rigorous, theoretical methods to deal with multiple strategic players.

In the last years, these topics have been central in the AI/ML venues, as demonstrated by the many papers awarded with the best paper awards in conferences such as IJCAI and NeurIPS and the AI projects awarded with the Marvin Minsky Medal.

This workshop aims to bring together the rich variety of scientists that AIxIA attracts in order to have a multidisciplinary forum within which to discuss and analyze current and novel challenges.

Invited Speakers

Luca Moscardelli

D'Annunzio University of Chieti–Pescara 

Nicolas Troquard

Gran Sasso Science Institute 

Individually Stable Dynamics in Coalition Formation over Graphs 

Coalition formation over graphs is a well studied class of games whose players are vertices and feasible coalitions must be connected subgraphs. In this setting, the existence and computation of equilibria, under various notions of stability, has attracted a lot of attention. However, the natural process by which players, starting from any feasible state, strive to reach an equilibrium after a series of unilateral improving deviations, has been less studied. We investigate the convergence of dynamics towards individually stable outcomes under the following perspective: what are the most general classes of preferences and graph topologies guaranteeing convergence? 

To this aim, on the one hand, we cover a hierarchy of preferences, ranging from the most general to a subcase of additively separable preferences, including individually rational and monotone cases. On the other hand, given that convergence may fail in graphs admitting a cycle even in our most restrictive preference class, we analyse acyclic graph topologies such as trees, paths, and stars. 

Strategizing in environments with common-pool resources 

Common-pool resources are resources that can be consumed or replenished by all agents. They can be associated with the memory shared by computer processes, or with the energy of which agents are consumers and producers in a smart-grid.


I will present work on the computational aspects of rational equilibria in the presence of common-pool resources. In particular, I will introduce quantitative extensions of the problem of rational synthesis, where agents have both temporal and quantitative objectives.


Additionally, I will discuss research on games where agents contribute resources to a common pool and aim to achieve objectives defined by specific resource requirements.

Previous Editions

Sponsor

Banner image by Oleksandr Ryzhkov on Freepik