显然防策略机制的概率验证
计算机科学与博弈论
2018-04-30 v1
摘要
显然防策略（OSP）机制维持了非完全理性代理人的激励相容性。自其近期被定义以来，已得到多项研究的关注。由[Ferraioli&Ventre, AAAI 2017]发起的一个研究议程是寻找一组小的（可能是最小的）条件以实现一个OSP机制。为此，我们定义了一种概率验证模型，其中代理人以一定概率被发现有不当行为，并展示了OSP机制如何以要么对谎言施加极高罚款、要么验证线性数量代理人的代价来实现每一个社会选择函数。
引用
@article{arxiv.1804.10512,
title = {Probabilistic Verification for Obviously Strategyproof Mechanisms},
author = {Diodato Ferraioli and Carmine Ventre},
journal= {arXiv preprint arXiv:1804.10512},
year = {2018}
}
备注
Accepted at IJCAI 2018