Automated Synthesis of Mechanisms - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Automated Synthesis of Mechanisms

Résumé

Mechanism Design aims to design a game so that a desirable outcome is reached regardless of agents' self-interests. In this paper, we show how this problem can be rephrased as a synthesis problem, where mechanisms are automatically synthesized from a partial or complete specification in a high-level logical language. We show that Quantitative Strategy Logic is a perfect candidate for specifying mechanisms as it can express complex strategic and quantitative properties. We solve automated mechanism design in two cases: when the number of actions is bounded, and when agents play in turn.
Fichier principal
Vignette du fichier
Automated Synthesis of Mechanisms.pdf (232.69 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-03879237 , version 1 (30-11-2022)

Identifiants

Citer

Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel. Automated Synthesis of Mechanisms. 31st International Joint Conference on Artificial Intelligence (IJCAI-22), IJCAI Organization, Jul 2022, Vienna, Austria. pp.426-432, ⟨10.24963/ijcai.2022/61⟩. ⟨hal-03879237⟩
91 Consultations
58 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More