IJCAI 2022poster25 citations
Automated Synthesis of Mechanisms
Munyque Mittelmann, Bastien Maubert, Aniello Murano, Laurent Perrussel
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.
Agent-based and Multi-agent Systems: Formal Verification, Validation and SynthesisAgent-based and Multi-agent Systems: Mechanism Design
BibTeX
@inproceedings{ijcai2022p61,
title = {Automated Synthesis of Mechanisms },
author = {Mittelmann, Munyque and Maubert, Bastien and Murano, Aniello and Perrussel, Laurent},
booktitle = {Proceedings of the Thirty-First International Joint Conference on
Artificial Intelligence, {IJCAI-22}},
publisher = {International Joint Conferences on Artificial Intelligence Organization},
editor = {Lud De Raedt},
pages = {426--432},
year = {2022},
month = {7},
note = {Main Track},
doi = {10.24963/ijcai.2022/61},
url = {https://doi.org/10.24963/ijcai.2022/61},
}