Designing Rules for Choosing a Winner in a Debate
Alexander Heckett, Vincent Conitzer

TL;DR
This paper develops a formal framework for designing rules that enable an uninformed principal to select the better-informed agent's argument in debates, considering strategic behavior and verifiable arguments, with analysis of computational complexity and error bounds.
Contribution
It introduces a formal model for debate rule design, analyzes its properties, and studies the computational aspects of evaluating and optimizing such rules.
Findings
Framework for debate rule design established
Computational complexity of evaluating rules analyzed
Error bounds for rule effectiveness derived
Abstract
We consider settings where an uninformed principal must hear arguments from two better-informed agents, corresponding to two possible courses of action that they argue for. The arguments are verifiable in the sense that the true state of the world restricts the arguments that can be made by the agents. Each agent simply wants to be chosen as the winner and does so strategically based on the rule set by the principal. How should the principal design the rule to choose the better action? We provide a formal framework for answering this question, exhibit some basic properties of it, study the computational problems of evaluating and optimizing the principal's policy, and provide key error bounds.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, Reasoning, and Knowledge · Game Theory and Applications · Multi-Agent Systems and Negotiation
