策略论证中的腐败与审计

策略论证提供了智能体之间争辩与协商的简单模型。尽管人们可能期望智能体按我们的最大利益行事，但几乎没有什么能强制此类行为。(Maher, 2016) 在策略论证中引入了腐败与抗腐败的模型。本文中我们识别出在该表述中未被检测到的腐败行为。我们强化了该模型以检测此类行为，并表明在强化模型下，(Maher, 2016) 中的所有策略目标均抗腐败。