Publications (18)
Neighbourhood Structures: Bisimilarity and Basic Model Theory
Helle Hvid Hansen, Clemens Kupke, Eric Pacuit
Neighbourhood structures are the standard semantic tool used to reason about non-normal modal logics. The logic of all neighbourhood models is called classical modal logic. In coal…
Social Choice Should Guide AI Alignment in Dealing with Diverse Human Feedback
Vincent Conitzer, Rachel Freedman, Jobst Heitzig +9
Foundation models such as GPT-4 are fine-tuned to avoid unsafe or otherwise problematic behavior, such as helping to commit crimes or producing racist text. One approach to fine-tu…
Stable Voting
Wesley H. Holliday, Eric Pacuit
We propose a new single-winner voting system using ranked ballots: Stable Voting. The motivating principle of Stable Voting is that if a candidate A would win without another candi…
Common -Belief with Plausibility Measures: Extended Abstract
Eric Pacuit, Leo Yang
Aumann's famous Agreeing to Disagree Theorem states that if a group of agents share a common prior, update their beliefs by Bayesian conditioning based on private information, and…
Stable Voting and the Splitting of Cycles
Wesley H. Holliday, Milan Mossé, Chase Norman +2
Algorithms for resolving majority cycles in preference aggregation have been studied extensively in computational social choice. Several sophisticated cycle-resolving methods, incl…
Axioms for Defeat in Democratic Elections
Wesley H. Holliday, Eric Pacuit
We propose six axioms concerning when one candidate should defeat another in a democratic election involving two or more candidates. Five of the axioms are widely satisfied by know…