United for Change: Deliberative Coalition Formation to Change the Status Quo

We study a setting in which a community wishes to identify a strongly supported proposal from a space of alternatives, in order to change the status quo. We describe a deliberation process in which agents dynamically form coalitions around proposals that they prefer over the status quo. We formulate conditions on the space of proposals and on the ways in which coalitions are formed that guarantee deliberation to succeed, that is, to terminate by identifying a proposal with the largest possible support. Our results provide theoretical foundations for the analysis of deliberative processes such as the ones that take place in online systems for democratic deliberation support. Earlier versions of this article have been accepted for presentation at the 35th AAAI Conference on Artificial Intelligence, AAAI-21 [Elkind et al., 2021] and at the 8th International Workshop on Computational Social Choice, COMSOC-21.