{"type":"ScholarlyArticle","title":"Goal-Based Collective Decisions: Axiomatics and Computational Complexity","authors":[{"name":"Arianna Novaro","slug":"arianna-novaro","given":"Arianna","family":"Novaro","affiliation":"IRIT , University of Toulouse"},{"name":"Umberto Grandi","slug":"umberto-grandi","given":"Umberto","family":"Grandi","affiliation":"IRIT , University of Toulouse"},{"name":"Dominique Longin","slug":"dominique-longin","given":"Dominique","family":"Longin","affiliation":"IRIT , CNRS , Toulouse"},{"name":"Emiliano Lorini","slug":"emiliano-lorini","given":"Emiliano","family":"Lorini","affiliation":"IRIT , CNRS , Toulouse"}],"abstract":"We study agents expressing propositional goals over a set of binary issues to reach a collective decision. We adapt properties and rules from the literature on Social Choice Theory to our setting, providing an axiomatic characterisation of a majority rule for goal-based voting. We study the computational complexity of finding the outcome of our rules (i.e., winner determination), showing that it ranges from Nondeterministic Polynomial Time (NP) to Probabilistic Polynomial Time (PP).","doi":"10.24963/ijcai.2018/65","url":"https://ijcai.org/proceedings/2018/65","pdf":"https://ijcai.org/proceedings/2018/0065.pdf","markdown":"https://ijcai.org/proceedings/2018/65.md","bibtex":"https://ijcai.org/proceedings/2018/bibtex/65","volume":{"slug":"2018","title":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2018","url":"https://ijcai.org/proceedings/2018/","year":2018,"location":"Stockholm","dates":"13-19 July 2018","editors":"Jérôme Lang","isbn":"978-0-9992411-2-7","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2018"},"section":"Agent-based and Multi-agent Systems","track":"Main track","number":65,"pages":{"first":468,"last":474},"keywords":["Agent-based and Multi-agent Systems: Voting","Knowledge Representation and Reasoning: Knowledge Representation and  Game Theory ; Social Choice","Agent-based and Multi-agent Systems: Computational Social Choice"],"videos":[],"references":[{"position":1,"raw":"[Awad et al., 2017] Edmond Awad, Richard Booth, Fer- nando Tohmé, and Iyad Rahwan. Judgement aggregation in multi-agent argumentation. Journal of Logic and Com- putation, 27(1):227-259, 2017.","title":"Judgement aggregation in multi-agent argumentation","authors":"Edmond Awad, Richard Booth, Fernando Tohmé, Iyad Rahwan","year":"2017","venue":"Journal of Logic and Computation","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Baumeister et al., 2015] Dorothea Baumeister, Gábor Erdélyi, Olivia Johanna Erdélyi, and Jörg Rothe. Complexity of manipulation and bribery in judgment aggregation for uniform premise-based quota rules. Mathematical Social Sciences, 76:19-30, 2015.","title":"Complexity of manipulation and bribery in judgment aggregation for uniform premise-based quota rules","authors":"Dorothea Baumeister, Gábor Erdélyi, Olivia Johanna Erdélyi, Jörg Rothe","year":"2015","venue":"Mathematical Social Sciences","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Brams and Fishburn, 2007] Steven Brams and Peter C. Fishburn. Approval voting. Springer Science & Business Media, 2007.","title":"Approval voting","authors":"Steven Brams, Peter C Fishburn","year":"2007","venue":null,"doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Brandt et al., 2016] Felix Brandt, Vincent Conitzer, Ulle Endriss, Ariel D Procaccia, and Jérôme Lang. Handbook of Computational Social Choice. Cambridge University Press, 2016.","title":"Handbook of Computational Social Choice","authors":"Felix Brandt, Vincent Conitzer, Ulle Endriss, Ariel D Procaccia, Jérôme Lang","year":"2016","venue":null,"doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Campbell, 1954] Whitney Campbell. The origin and growth of cumulative voting for directors. The Business Lawyer, 10(3):3-16, 1954.","title":"Whitney Campbell. The origin and growth of cumulative voting for directors","authors":"Campbell","year":"1954","venue":"The Business Lawyer","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Chen and Toda, 1995] Z.Z. Chen and S. Toda. The com- plexity of selecting maximal solutions. Information and Computation, 119(2):231 -239, 1995.","title":"The complexity of selecting maximal solutions","authors":"Z Z Chen, S Toda","year":"1995","venue":"Information and Computation","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Dastani and van der Torre, 2002] Mehdi Dastani and Leen- dert van der Torre. Specifying the merging of desires into goals in the context of beliefs. In Proceedings of the 1st EurAsian Conference on Information and Communication Technology (ICT-EurAsia), 2002.","title":"Specifying the merging of desires into goals in the context of beliefs","authors":"Van Dastani, Torre ; Der, Mehdi Dastani, Leendert Van Der Torre","year":"2002","venue":"Proceedings of the 1st EurAsian Conference on Information and Communication Technology (ICT-EurAsia)","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[de Haan and Slavkovik, 2017] Ronald de Haan and Marija Slavkovik. Complexity results for aggregating judgments using scoring or distance-based procedures. In Proceed- ings of the 16th Conference on Autonomous Agents and MultiAgent Systems (AAMAS), 2017.","title":"Complexity results for aggregating judgments using scoring or distance-based procedures","authors":"Slavkovik ; Ronald De Haan, Marija De Haan, Slavkovik","year":"2017","venue":"Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems (AAMAS)","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Dietrich and List, 2007] Franz Dietrich and Christian List. Judgment aggregation by quota rules: Majority voting generalized. Journal of Theoretical Politics, 19(4):391- 424, 2007.","title":"Franz Dietrich and Christian List. Judgment aggregation by quota rules: Majority voting generalized","authors":"List Dietrich","year":"2007","venue":"Journal of Theoretical Politics","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Dietrich and List, 2008] Franz Dietrich and Christian List. Judgment aggregation without full rationality. Social Choice and Welfare, 31(1):15-39, 2008.","title":"Franz Dietrich and Christian List. Judgment aggregation without full rationality","authors":"List Dietrich","year":"2008","venue":"Social Choice and Welfare","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Dokow and Holzman, 2010a] Elad Dokow and Ron Holz- man. Aggregation of binary evaluations. Journal of Eco- nomic Theory, 145(2):495-511, 2010.","title":"Aggregation of binary evaluations","authors":"Holzman Dokow","year":"2010","venue":"Journal of Economic Theory","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Dokow and Holzman, 2010b] Elad Dokow and Ron Holz- man. Aggregation of binary evaluations with abstentions. Journal of Economic Theory, 145(2):544-561, 2010.","title":"Elad Dokow and Ron Holzman. Aggregation of binary evaluations with abstentions","authors":"Holzman Dokow","year":"2010","venue":"Journal of Economic Theory","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Elkind et al., 2017] Edith Elkind, Martin Lackner, and Do- minik Peters. Structured preferences. In Ulle Endriss, ed- itor, Trends in Computational Social Choice, chapter 10, pages 187-207. AI Access, 2017.","title":"Structured preferences","authors":"Elkind","year":"2017","venue":"Trends in Computational Social Choice","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Endriss et al., 2012] Ulle Endriss, Umberto Grandi, and Daniele Porello. Complexity of judgment aggregation. Journal of Artificial Intelligence Research, 45:481-514, 2012.","title":"Complexity of judgment aggregation","authors":"Ulle Endriss, Umberto Grandi, Daniele Porello","year":"2012","venue":"Journal of Artificial Intelligence Research","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Endriss, 2016] Ulle Endriss. Judgment aggregation. In F. Brandt, V. Conitzer, U. Endriss, J. Lang, and A. D. Procaccia, editors, Handbook of Computational Social Choice, chapter 17, pages 399-426. Cambridge Univer- sity Press, 2016.","title":"Judgment aggregation","authors":"Ulle Endriss","year":"2016","venue":"Handbook of Computational Social Choice","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Grandi and Endriss, 2011] Umberto Grandi and Ulle En- driss. Binary aggregation with integrity constraints. In Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI), 2011.","title":"Binary aggregation with integrity constraints","authors":"Umberto Grandi, Ulle Endriss","year":"2011","venue":"Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI)","doi":null,"url":null,"internal_url":"/proceedings/2011/45"},{"position":17,"raw":"[Harrenstein et al., 2001] Paul Harrenstein, Wiebe van der Hoek, John-Jules Meyer, and Cees Witteveen. Boolean games. In Proceedings of the 8th Conference on Theoreti- cal Aspects of Rationality and Knowledge (TARK), 2001.","title":"Boolean games","authors":"Paul Harrenstein, John-Jules Wiebe Van Der Hoek, Cees Meyer, Witteveen","year":"2001","venue":"Proceedings of the 8th Conference on Theoretical Aspects of Rationality and Knowledge (TARK)","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Klamler and Pferschy, 2007] Christian Klamler and Ulrich Pferschy. The traveling group problem. Social Choice and Welfare, 29(3):429-452, 2007.","title":"Christian Klamler and Ulrich Pferschy. The traveling group problem","authors":"Pferschy Klamler","year":"2007","venue":"Social Choice and Welfare","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Konieczny and Pérez, 2002] Sébastien Konieczny and Ramón Pino Pérez. Merging information under con- straints: A logical framework. Journal of Logic and Computation, 12(5):773-808, 2002.","title":"Merging information under constraints: A logical framework","authors":"Pérez Konieczny, Sébastien Konieczny, Ramón Pino, Pérez","year":"2002","venue":"Journal of Logic and Computation","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Lang and Slavkovik, 2014] Jérôme Lang and Marija Slavkovik. How hard is it to compute majority-preserving judgment aggregation rules? In Proceedings of the 21st European Conference on Artificial Intelligence (ECAI), 2014.","title":"How hard is it to compute majority-preserving judgment aggregation rules?","authors":"Lang, Slavkovik ;, Jérôme Lang, Marija Slavkovik","year":"2014","venue":"Proceedings of the 21st European Conference on Artificial Intelligence (ECAI)","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Lang and Xia, 2016] Jérôme Lang and Lirong Xia. Vot- ing in combinatorial domains. In Felix Brandt, Vincent Conitzer, Ulle Endriss, Jérôme Lang, and Ariel Procaccia, editors, Handbook of Computational Social Choice, chap- ter 9, pages 197-222. Cambridge University Press, 2016.","title":"Voting in combinatorial domains","authors":"Lang, Xia ;, Jérôme Lang, Lirong Xia","year":"2016","venue":"Handbook of Computational Social Choice, chapter 9","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Lang, 2004] Jérôme Lang. Logical preference representa- tion and combinatorial vote. Annals of Mathematics and Artificial Intelligence, 42(1-3):37-71, 2004.","title":"Logical preference representation and combinatorial vote","authors":"Jérôme Lang","year":"2004","venue":"Annals of Mathematics and Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Laslier and Sanver, 2010] Jean-Franc ¸ois Laslier and Remzi M. Sanver. Handbook on Approval Voting. Springer Science & Business Media, 2010.","title":"Handbook on Approval Voting","authors":"Sanver ; Jean-Franc ¸ois Laslier, Remzi M Laslier, Sanver","year":"2010","venue":null,"doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[List, 2012] Christian List. The theory of judgment aggrega- tion: an introductory review. Synthese, 187(1):179-207, Jul 2012.","title":"Christian List. The theory of judgment aggregation: an introductory review","authors":"List","year":"2012","venue":"Synthese","doi":null,"url":null,"internal_url":null},{"position":25,"raw":"Kenneth O. May. A set of independent neces- sary and sufficient conditions for simple majority decision. Econometrica: Journal of the Econometric Society, pages 680-684, 1952.","title":"A set of independent necessary and sufficient conditions for simple majority decision","authors":"Kenneth O May","year":"1952","venue":"Econometrica: Journal of the Econometric Society","doi":null,"url":null,"internal_url":null},{"position":26,"raw":"[Papadimitriou, 2003] Christos H. Papadimitriou. Computa- tional Complexity. John Wiley and Sons Ltd., 2003.","title":"Computational Complexity","authors":"Christos H Papadimitriou","year":"2003","venue":null,"doi":null,"url":null,"internal_url":null},{"position":27,"raw":"[Qing et al., 2014] Ciyang Qing, Ulle Endriss, Raquel Fernández, and Justin Kruger. Empirical analysis of aggre- gation methods for collective annotation. In Proceedings of the 25th International Conference on Computational Linguistics (COLING), 2014.","title":"Empirical analysis of aggregation methods for collective annotation","authors":"Qing","year":"2014","venue":"Proceedings of the 25th International Conference on Computational Linguistics (COLING)","doi":null,"url":null,"internal_url":null},{"position":28,"raw":"[Shoham and Leyton-Brown, 2009] Yoav Shoham and Kevin Leyton-Brown. Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations. Cambridge University Press, 2009.","title":"Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations","authors":"Yoav Shoham, Kevin Leyton-Brown","year":"2009","venue":null,"doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}