切割蛋糕：公平分配的语言
摘要：公平分配经济学中关于如何在多个代理人之间分配资源的文献考虑了如何做到无嫉妒的分配：每个代理人都得到他们最喜欢的那一份。研究人员已经开发出了各种公平分配协议，适用于最常见的情况，即代理人想要分割一个项目，然而，这些协议非常复杂，而且证明其无嫉妒性需要繁琐的案例分析。我们提出了Slice，一种领域特定语言，用于公平分配。在我们的语言中编写的程序可以转换为编码无嫉妒性和其他目标性质的逻辑公式。然后，约束条件可以被发送给自动求解器。我们证明了我们的约束生成过程是正确和完备的。我们还报告了Slice的原型实现，我们使用它自动检查了公平分配文献中的几个协议的无嫉妒性。
作者：Noah Bertram and Alex Levinson and Justin Hsu
论文ID：2304.04642
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-04-11