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⟩
81 Consultations
51 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More