2020年9月8日
演讲,第八届战略推理国际研讨会(ECAI 2020卫星研讨会),
在博弈论中,机构设计关注激励机制的设计,以实现游戏的预期结果。在本文中,我们研究激励机制的设计,以获得理想的均衡,例如,满足给定时间逻辑属性的均衡——我们称之为问题平衡设计我们的研究基于一个框架,其中系统规范表示为时序逻辑公式,游戏表示为定量并发游戏结构,玩家的目标表示为平均值目标。特别地,我们考虑了由LTL和GR(1)公式给出的系统规范,并表明,只要存在这样的机制,就可以在PSPACE中实现LTL属性,在NP/$\Sigma^P_2$中实现GR(l)规范,以确保给定的时序逻辑属性在博弈的某些/每个Nash均衡上满足。我们还研究了各种相关决策和优化问题的复杂性,如解的最优性和唯一性,并表明所有这些问题的复杂性都位于多项式层次结构中。作为一个应用,平衡设计可以在没有解决方案的情况下,作为具有平均值目标的并发博弈的理性综合和验证问题的替代解决方案,也可以作为一种技术,在可能的情况下以最优的方式修复具有不良理性结果的并发博弈(纳什均衡)。扩展摘要 幻灯片