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.
Automated Synthesis of Mechanisms / Mittelmann, M.; Maubert, B.; Murano, A.; Perrussel, L.. - In: IJCAI. - ISSN 1045-0823. - (2022), pp. 426-432. (Intervento presentato al convegno 31st International Joint Conference on Artificial Intelligence, IJCAI 2022 tenutosi a Messe Wien, aut nel 2022) [10.24963/ijcai.2022/61].
Automated Synthesis of Mechanisms
Mittelmann M.;Maubert B.;Murano A.
;
2022
Abstract
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
