no code implementations • 16 Apr 2024 • Vincent Conitzer, Rachel Freedman, Jobst Heitzig, Wesley H. Holliday, Bob M. Jacobs, Nathan Lambert, Milan Mossé, Eric Pacuit, Stuart Russell, Hailey Schoelkopf, Emanuel Tewolde, William S. Zwicker
Foundation models such as GPT-4 are fine-tuned to avoid unsafe or otherwise problematic behavior, so that, for example, they refuse to comply with requests for help with committing crimes or with producing racist text.
1 code implementation • 29 Jan 2024 • Wesley H. Holliday, Alexander Kristoffersen, Eric Pacuit
By classic results in social choice theory, any reasonable preferential voting method sometimes gives individuals an incentive to report an insincere preference.
1 code implementation • 21 Dec 2023 • Wesley H. Holliday, Eric Pacuit
In particular, we add two axioms stating that the voting method should mitigate spoiler effects and avoid the so-called strong no show paradox.
no code implementations • 22 Oct 2022 • Yifeng Ding, Wesley H. Holliday, Eric Pacuit
In this paper, we go further and show that Split Cycle is the only rule satisfying the axioms of Holliday and Pacuit together with two additional axioms: Coherent Defeat and Positive Involvement in Defeat.
2 code implementations • 14 Aug 2022 • Wesley H. Holliday, Chase Norman, Eric Pacuit, Saam Zahedian
A fundamental principle of individual rational choice is Sen's $\gamma$ axiom, also known as expansion consistency, stating that any alternative chosen from each of two menus must be chosen from the union of the menus.
1 code implementation • 1 Aug 2021 • Wesley H. Holliday, Eric Pacuit
We propose a new single-winner voting system using ranked ballots: Stable Voting.
no code implementations • 15 Aug 2020 • Wesley H. Holliday, Eric Pacuit
We call this weakening Coherent IIA.
no code implementations • 17 Apr 2020 • Marc van Zee, Dragan Doder, Leendert van der Torre, Mehdi Dastani, Thomas Icard, Eric Pacuit
The first contribution is a logic for reasoning about intention, time and belief, in which assumptions of intentions are represented by preconditions of intended actions.
no code implementations • 23 Oct 2013 • Eric Pacuit, Arthur Paul Pedersen, Jan-Willem Romeijn
In this extended abstract, we carefully examine a purported counterexample to a postulate of iterated belief revision.
no code implementations • 4 Jul 2013 • Johan van Benthem, David Fernández-Duque, Eric Pacuit
The intuitive notion of evidence has both semantic and syntactic features.