Automated Synthesis of Mechanisms
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.
Cite
Text
Mittelmann et al. "Automated Synthesis of Mechanisms." International Joint Conference on Artificial Intelligence, 2022. doi:10.24963/IJCAI.2022/61Markdown
[Mittelmann et al. "Automated Synthesis of Mechanisms." International Joint Conference on Artificial Intelligence, 2022.](https://mlanthology.org/ijcai/2022/mittelmann2022ijcai-automated/) doi:10.24963/IJCAI.2022/61BibTeX
@inproceedings{mittelmann2022ijcai-automated,
title = {{Automated Synthesis of Mechanisms}},
author = {Mittelmann, Munyque and Maubert, Bastien and Murano, Aniello and Perrussel, Laurent},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2022},
pages = {426-432},
doi = {10.24963/IJCAI.2022/61},
url = {https://mlanthology.org/ijcai/2022/mittelmann2022ijcai-automated/}
}