Search Results for author: Eric Pacuit

Found 10 papers, 4 papers with code

Social Choice for AI Alignment: Dealing with Diverse Human Feedback

no code implementations16 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.

Ethics

Learning to Manipulate under Limited Information

1 code implementation29 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.

An extension of May's Theorem to three alternatives: axiomatizing Minimax voting

1 code implementation21 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.

An Axiomatic Characterization of Split Cycle

no code implementations22 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.

Impossibility theorems involving weakenings of expansion consistency and resoluteness in voting

2 code implementations14 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.

Fairness

Stable Voting

1 code implementation1 Aug 2021 Wesley H. Holliday, Eric Pacuit

We propose a new single-winner voting system using ranked ballots: Stable Voting.

Intention as Commitment toward Time

no code implementations17 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.

When is an Example a Counterexample?

no code implementations23 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.

Evidence and plausibility in neighborhood structures

no code implementations4 Jul 2013 Johan van Benthem, David Fernández-Duque, Eric Pacuit

The intuitive notion of evidence has both semantic and syntactic features.

Cannot find the paper you are looking for? You can Submit a new open access paper.