Abstract
In iterative voting, a group of agents who has to take a collective decision has the possibility to individually and sequentially alter their vote, to improve the outcome for themselves. In this paper, we extend with an iterative component the recent framework of goal-based voting, where agents submit compactly expressed individual goals. For the aggregation, we focus on an adaptation of the classical Approval rule to this setting, and we model agents having optimistic or pessimistic satisfaction functions based on the Hamming distance. The results of our analysis are twofold: first, we provide conditions under which the application of the Approval rule is guaranteed to converge to a stable outcome; second, we study the quality of the social welfare yielded by the iteration process.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Observe that, as mentioned in the introduction, while the choice of representation of the agents’ input—i.e., goals expressed compactly as propositional formulas, or explicitly as the set of their models—has immediate consequences on the computational complexity of some related problems [26], since these fall outside of the scope of this paper we will often represent the corresponding set of models for ease of illustration.
- 2.
In the case of strategy-proofness this action is called a manipulation; we prefer to avoid this negative connotation for iterative voting and we simply say that agents alter their vote.
- 3.
Note that this does not hold for arbitrary weak preferences over sets of interpretations \(w_j\). Let the best outcomes for agent 1 be \(\mathcal {P}(\{w_1,w_3,w_5\}) \cup \mathcal {P}(\{w_2,w_4\})\); those of agent 2 be \(\mathcal {P}(\{w_2,w_4,w_5\}) \cup \mathcal {P}(\{w_1,w_3\}\); and that of agent 3 be \(\{w_5\}\). Initially, agent 1 submits \(\{w_2,w_4\}\), agent 2 sends \(\{w_1,w_3\}\) and agent 3 sends \(\{w_5\}\). Then, agent 1 alters to \(\{w_1,w_2,w_5\}\), while agent 2 alters to \(\{w_2,w_3\}\) next. Not only we have \(k_1 = k_2\), but we can construct a circular iteration following a similar structure to that of the example in Table 2.
- 4.
A truth-biased agent has an incentive to alter to her truthful goal when the corresponding outcome which will be obtained by this alteration is at least as satisfying as the current outcome.
- 5.
References
Ade, L.: Iterative goal-based voting. Master’s thesis, University of Amsterdam (2021)
Airiau, S., Endriss, U.: Iterated majority voting. In: International Conference on Algorithmic Decision Theory (ADT 2009) (2009)
Bannikova, M., Dery, L., Obraztsova, S., Rabinovich, Z., Rosenschein, J.S.: Reaching consensus under a deadline. Auton. Agent. Multi-Agent Syst. 35(9), 1–42 (2021)
Barrot, N., Lang, J., Yokoo, M.: Manipulation of Hamming-based approval voting for multiple referenda and committee elections. In: Proceedings of the 16th Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017) (2017)
Bossert, W., Pattanaik, P.K., Xu, Y.: Choice under complete uncertainty: axiomatic characterizations of some decision rules. Econ. Theor. 16(2), 295–312 (2000)
Botan, S., de Haan, R., Slavkovik, M., Terzopoulou, Z.: Egalitarian judgment aggregation. In: Proceedings of the 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2021) (2021)
Brânzei, S., Caragiannis, I., Morgenstern, J., Procaccia, A.: How bad is selfish voting? In: Proceedings of the 27th Conference on Artificial Intelligence (AAAI 2013) (2013)
Caragiannis, I., Procaccia, A.D.: Voting almost maximizes social welfare despite limited communication. Artif. Intell. 175(9–10), 1655–1671 (2011)
Delgrande, J.P., Dubois, D., Lang, J.: Iterated revision as prioritized merging. In: Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006) (2006)
DeMeyer, F., Plott, C.R.: A welfare function using “relative intensity’’ of preference. Q. J. Econ. 85(1), 179–186 (1971)
Endriss, U.: Judgment aggregation. In: Brandt, F., Conitzer, V., Endriss, U., Lang, J., Procaccia, A.D. (eds.) Handbook of Computational Social Choice, chap. 17. Cambridge University Press, Cambridge (2016)
Everaere, P., Konieczny, S., Marquis, P.: The strategy-proofness landscape of merging. J. Artif. Intell. Res. 28, 49–105 (2007)
Fishburn, P.C.: Even-chance lotteries in social choice theory. Theor. Decis. 3(1), 18–40 (1972)
Grandi, U., Endriss, U.: Binary aggregation with integrity constraints. In: Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011) (2011)
Grandi, U., Loreggia, A., Rossi, F., Venable, K.B., Walsh, T.: Restricted manipulation in iterative voting: Condorcet efficiency and Borda score. In: International Conference on Algorithmic Decision Theory (ADT 2013) (2013)
Grossi, D., Pigozzi, G.: Judgment Aggregation: A Primer. Synthesis Lectures on Artificial Intelligence and Machine Learning. Morgan & Claypool Publishers, San Rafael (2014)
Kaneko, M., Nakamura, K.: The Nash social welfare function. Econometrica Soc. 47(2), 423–435 (1979)
Kelly, J.S.: Strategy-proofness and social choice functions without singlevaluedness. Econom. J. Econom. Soc. 45(2), 439–446 (1977)
Konieczny, S., Pérez, R.P.: Logic based merging. J. Philos. Log. 40(2), 239–270 (2011)
Laslier, J.F., Sanver, M.R.: Handbook on Approval Voting. Studies in Choice and Welfare. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-02839-7
Lev, O., Rosenschein, J.S.: Convergence of iterative voting. In: Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012) (2012)
Lev, O., Rosenschein, J.S.: Convergence of iterative scoring rules. J. Artif. Intell. Res. 57, 573–591 (2016)
Meir, R.: Iterative voting. In: Trends in Computational Social Choice, pp. 69–86 (2017)
Meir, R.: Strategic voting. Synth. Lect. Artif. Intell. Mach. Learn. 13(1), 1–167 (2018)
Meir, R., Polukarov, M., Rosenschein, J.S., Jennings, N.R.: Iterative voting and acyclic games. Artif. Intell. 252, 100–122 (2017)
Novaro, A., Grandi, U., Longin, D., Lorini, E.: Goal-based collective decisions: axiomatics and computational complexity. In: Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI 2018) (2018)
Novaro, A., Grandi, U., Longin, D., Lorini, E.: Strategic majoritarian voting with propositional goals. In: Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019) (2019)
Obraztsova, S., Markakis, E., Polukarov, M., Rabinovich, Z., Jennings, N.: On the convergence of iterative voting: how restrictive should restricted dynamics be? In: Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015) (2015)
Packard, D.J.: Preference relations. J. Math. Psychol. 19(3), 295–306 (1979)
Pattanaik, P.K., Peleg, B.: An axiomatic characterization of the lexicographic maximin extension of an ordering over a set to the power set. Soc. Choice Welfare 1(2), 113–122 (1984)
Rawls, J.: A Theory of Justice. Harvard University Press, Cambridge (1971)
Reyhani, R., Wilson, M.: Best-reply dynamics for scoring rules. In: Proceedings of the 20th European Conference on Artificial Intelligence (ECAI 2012) (2012)
Schwind, N., Konieczny, S.: Non-prioritized iterated revision: improvement via incremental belief merging. In: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020) (2020)
Terzopoulou, Z., Endriss, U.: Modelling iterative judgment aggregation. In: Proceedings of the 32nd AAAI Conference on Artificial Intelligence (AAAI 2018) (2018)
Zou, J., Meir, R., Parkes, D.: Strategic voting behavior in Doodle polls. In: Proceedings of the 18th ACM Conference on Computer Supported Cooperative Work & Social Computing (2015)
Acknowledgements
We would like to thank the reviewers for their detailed and valuable comments. We also thank the actions transversales du Centre d’Economie de la Sorbonne for funding Leyla Ade’s research visit to work on the results presented here.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Ade, L., Novaro, A. (2022). Iterative Goal-Based Approval Voting. In: Baumeister, D., Rothe, J. (eds) Multi-Agent Systems. EUMAS 2022. Lecture Notes in Computer Science(), vol 13442. Springer, Cham. https://doi.org/10.1007/978-3-031-20614-6_1
Download citation
DOI: https://doi.org/10.1007/978-3-031-20614-6_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-20613-9
Online ISBN: 978-3-031-20614-6
eBook Packages: Computer ScienceComputer Science (R0)