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.
Synthesis of Mechanisms with Strategy Logic (Short Paper) / Mittelmann, M.; Maubert, B.; Murano, A.; Perrussel, L.. - 3284:(2022), pp. 47-52. (Intervento presentato al convegno 23rd Italian Conference on Theoretical Computer Science, ICTCS 2022 tenutosi a ita nel 2022).
Synthesis of Mechanisms with Strategy Logic (Short Paper)
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
