Bayesian persuasion studies how an informed sender should partially disclose information so as to influence the behavior of self-interested receivers. In the last years, a growing attention has been devoted to relaxing the assumption that the sender perfectly knows receiver's payoffs. The first crucial step towards such an achievement is to study settings where each receiver's payoffs depend on their unknown type, which is randomly determined by a known finite-supported probability distribution. This begets considerable computational challenges, as computing a sender-optimal signaling scheme is inapproximable up to within any constant factor. In this work, we circumvent this issue by leveraging ideas from mechanism design. In particular, we introduce a type reporting step in which the receiver is asked to report their type to the sender, after the latter has committed to a menu defining a signaling scheme for each possible receiver's type. We prove that, with a single receiver, the addition of this type reporting stage makes the sender's computational problem tractable. Then, we extend our framework to settings with multiple receivers, focusing on the case of no inter-agent externalities and binary actions. We show that it is possible to find a sender-optimal solution in polynomial-time by means of the ellipsoid method, given access to a suitable polynomial-time separation oracle. This can be implemented for supermodular and anonymous sender's utility functions. As for the case of submodular sender's utility functions, we first approximately cast the sender's problem into a linearly-constrained mathematical program whose objective function is the multi-linear extension of the sender's utility. Then, we show how to find in polynomial-time an approximate solution to the program by means of a continuous greedy algorithm. This provides a (1 -1/e)-approximation to the problem.
翻译:bays1/ 说服研究知情发送者如何部分披露信息, 从而影响自我感兴趣的接收者的行为。 在过去的几年中, 人们越来越重视放松发送者完全知道接收者报酬的假设。 实现这一成就的第一个关键步骤是研究每个接收者报酬取决于未知类型( 由已知的有限支持概率分布随机确定) 的设置。 这会产生相当大的计算挑战, 因为计算发送者- 最佳信号计划无法满足任何恒定因素。 在这项工作中, 我们通过利用机制设计中的想法来回避这一问题。 特别是, 我们引入了一种类型报告步骤, 要求接收者向发送者报告其类型。 在后者承诺为每个可能的接收者类型确定信号方案的菜单后, 我们证明, 使用一个已知的有限支持概率概率分布, 添加这种类型报告阶段可以使发送者计算问题易感应变。 然后, 我们将我们的框架扩大到多个接收者, 侧重于无代理性外部性和二进化动作。 我们显示, 使用一个固定式程序可以找到一个固定的自动访问方法。