{"type":"ScholarlyArticle","title":"Displaying Justifications for Collective Decisions","authors":[{"name":"Arthur Boixel","slug":"arthur-boixel","given":"Arthur","family":"Boixel","affiliation":"ILLC , University of Amsterdam"},{"name":"Ulle Endriss","slug":"ulle-endriss","given":"Ulle","family":"Endriss","affiliation":"ILLC , University of Amsterdam"},{"name":"Oliviero Nardi","slug":"oliviero-nardi","given":"Oliviero","family":"Nardi","affiliation":"TU Wien"}],"abstract":"We present an online demonstration tool illustrating a general approach to computing justifications for accepting a given decision when confronted with the preferences of several agents. Such a justification consists of a set of axioms providing a normative basis for the decision, together with a step-by-step explanation of how those axioms determine the decision. Our open-source implementation may also prove useful for realising other kinds of projects in computational social choice, particularly those requiring access to a SAT solver.","doi":"10.24963/ijcai.2022/847","url":"https://ijcai.org/proceedings/2022/847","pdf":"https://ijcai.org/proceedings/2022/0847.pdf","markdown":"https://ijcai.org/proceedings/2022/847.md","bibtex":"https://ijcai.org/proceedings/2022/bibtex/847","volume":{"slug":"2022","title":"Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2022","url":"https://ijcai.org/proceedings/2022/","year":2022,"location":"Vienna","dates":"23-29 July 2022","editors":"Luc De Raedt","isbn":"978-1-956792-00-3","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2022"},"section":"Demo Track","track":"Demo Track","number":847,"pages":{"first":5892,"last":5895},"keywords":["Knowledge Representation and Reasoning: Automated Reasoning and Theorem Proving","Agent-based and Multi-agent Systems: Computational Social Choice"],"videos":[{"label":"Video #1","url":"https://slideslive.com/38987203","length_sec":81,"provider":"slideslive"},{"label":"Video #2","url":"https://slideslive.com/38985346","length_sec":265,"provider":"slideslive"}],"references":[{"position":1,"raw":"[Arrieta et al., 2020] Alejandro Barredo Arrieta, Natalia Díaz-Rodríguez, Javier Del Ser, Adrien Bennetot, Siham 2 It is also possible to use the tools of constraint programming [","title":"Siham 2 It is also possible to use the tools of constraint programming","authors":"Alejandro Barredo Arrieta, Natalia Díaz-Rodríguez, Javier Del Ser, Adrien Bennetot","year":null,"venue":null,"doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Rossi et al., 2006] to the same effect, and in our initial work on the topic we followed this alternative route [Boixel and Endriss, 2020].","title":"effect, and in our initial work on the topic we followed this alternative route [Boixel and Endriss","authors":"Rossi","year":"2006","venue":null,"doi":null,"url":null,"internal_url":null},{"position":3,"raw":"Tabik, Alberto Barbado, Salvador García, Sergio Gil- López, Daniel Molina, Richard Benjamins, Raja Chatila, and Francisco Herrera. Explainable artificial intelligence (XAI): Concepts, taxonomies, opportunities and chal- lenges toward responsible AI. Information Fusion, 58:82- 115, 2020.","title":"Explainable artificial intelligence (XAI): Concepts, taxonomies, opportunities and challenges toward responsible AI","authors":"Alberto Tabik, Salvador Barbado, Sergio García, Daniel Gil-López, Richard Molina, Raja Benjamins, Francisco Chatila, Herrera","year":"2020","venue":"Information Fusion","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Arrow, 1963] Kenneth J. Arrow. Social Choice and Individ- ual Values. John Wiley and Sons, 2nd edition, 1963. First edition published in 1951.","title":"Social Choice and Individual Values","authors":"J Kenneth, Arrow","year":"1963","venue":null,"doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Biere et al., 2009] Armin Biere, Marijn Heule, and Hans van Maaren, editors. Handbook of Satisfiability. IOS Press, 2009.","title":"Handbook of Satisfiability","authors":"Biere","year":"2009","venue":null,"doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Boixel and Endriss, 2020] Arthur Boixel and Ulle Endriss. Automated justification of collective decisions via con- straint solving. In Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Sys- tems (AAMAS-2020). IFAAMAS, 2020.","title":"Automated justification of collective decisions via constraint solving","authors":"Endriss Boixel, Arthur Boixel, Ulle Endriss","year":"2020","venue":"Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2020)","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Boixel and de Haan, 2021] Arthur Boixel and Ronald de Haan. On the complexity of finding justifications for col- lective decisions. In Proceedings of the 35th AAAI Confer- ence on Artificial Intelligence (AAAI-2021). AAAI Press, 2021.","title":"Arthur Boixel and Ronald de Haan. On the complexity of finding justifications for collective decisions","authors":"Boixel, De Haan","year":"2021","venue":"Proceedings of the 35th AAAI Conference on Artificial Intelligence (AAAI-2021)","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Boixel et al., 2022] Arthur Boixel, Ulle Endriss, and Ronald de Haan. A calculus for computing structured jus- tifications for election outcomes. In Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI- 2022). AAAI Press, 2022.","title":"A calculus for computing structured justifications for election outcomes","authors":"Boixel","year":"2022","venue":"Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI-2022)","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Brams and Fishburn, 2002] Steven J. Brams and Peter C. Fishburn. Voting procedures. In Kenneth J. Arrow, Amartya K. Sen, and Kotaro Suzumura, editors, Handbook of Social Choice and Welfare, volume 1, chapter 4, pages 173-236. Elsevier, 2002.","title":"Voting procedures","authors":"Steven J Brams, Peter C Fishburn","year":"2002","venue":"Handbook of Social Choice and Welfare","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Brandt et al., 2016] Felix Brandt, Vincent Conitzer, Ulle Endriss, Jérôme Lang, and Ariel D. Procaccia, editors. Handbook of Computational Social Choice. Cambridge University Press, 2016.","title":"Handbook of Computational Social Choice","authors":null,"year":"2016","venue":null,"doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Cailloux and Endriss, 2016] Olivier Cailloux and Ulle En- driss. Arguing about voting rules. In Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2016). IFAAMAS, 2016.","title":"Arguing about voting rules","authors":"Endriss Cailloux, Olivier Cailloux, Ulle Endriss","year":"2016","venue":"Proceedings of the 15th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2016)","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[D'Agostino et al., 1999] Marcello D'Agostino, Dov M. Gabbay, Reiner Hähnle, and Joachim Posegga, editors. Handbook of Tableau Methods. Elsevier, 1999.","title":"Handbook of Tableau Methods","authors":null,"year":"1999","venue":null,"doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Gebser et al., 2012] Martin Gebser, Roland Kaminski, Ben- jamin Kaufmann, and Torsten Schaub. Answer Set Solving in Practice. Synthesis Lectures on Artificial Intelligence and Machine Learning. Morgan & Claypool Publishers, 2012.","title":"Answer Set Solving in Practice","authors":"Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub","year":"2012","venue":"Synthesis Lectures on Artificial Intelligence and Machine Learning","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Geist and Peters, 2017] Christian Geist and Dominik Pe- ters. Computer-aided methods for social choice theory. In Ulle Endriss, editor, Trends in Computational Social Choice, chapter 13, pages 249-267. AI Access, 2017.","title":"Christian Geist and Dominik Peters. Computer-aided methods for social choice theory","authors":"Peters Geist","year":"2017","venue":"Trends in Computational Social Choice","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Ignatiev et al., 2018] Alexey Ignatiev, Antonio Morgado, and João Marques-Silva. PySAT: A Python toolkit for prototyping with SAT oracles. In Proceedings of the 21st International Conference on Theory and Applications of Satisfiability Testing (SAT-2018). Springer, 2018.","title":"PySAT: A Python toolkit for prototyping with SAT oracles","authors":"Alexey Ignatiev, Antonio Morgado, João Marques-Silva","year":"2018","venue":"Proceedings of the 21st International Conference on Theory and Applications of Satisfiability Testing (SAT-2018)","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Liffiton et al., 2016] Mark H. Liffiton, Alessandro Previti, Ammar Malik, and João Marques-Silva. Fast, flexible MUS enumeration. Constraints, 21(2):223-250, 2016.","title":"Fast, flexible MUS enumeration","authors":"H Mark, Alessandro Liffiton, Ammar Previti, João Malik, Marques-Silva","year":"2016","venue":"Constraints","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Loustalot Knapp, 2022] Daniela Loustalot Knapp. Justifi- cation of matching outcomes. Master's thesis, ILLC, Uni- versity of Amsterdam, 2022.","title":"Daniela Loustalot Knapp. Justification of matching outcomes","authors":"Loustalot Knapp","year":"2022","venue":null,"doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Manlove, 2013] David Manlove. Algorithmics of Matching under Preferences. World Scientific, 2013.","title":"Algorithmics of Matching under Preferences","authors":"David Manlove","year":"2013","venue":null,"doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Miller, 2019] Tim Miller. Explanation in artificial intelli- gence: Insights from the social sciences. Artificial intelli- gence, 267:1-38, 2019.","title":"Explanation in artificial intelligence: Insights from the social sciences","authors":"Tim Miller, Miller","year":"2019","venue":"Artificial intelligence","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Nardi et al., 2022] Oliviero Nardi, Arthur Boixel, and Ulle Endriss. A graph-based algorithm for the automated justi- fication of collective decisions. In Proceedings of the 21st International Conference on Autonomous Agents and Mul- tiagent Systems (AAMAS-2022). IFAAMAS, 2022.","title":"A graph-based algorithm for the automated justification of collective decisions","authors":"Oliviero Nardi, Arthur Boixel, Ulle Endriss","year":"2022","venue":"Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2022)","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Procaccia, 2019] Ariel D. Procaccia. Axioms should ex- plain solutions. In Jean-Franc ¸ois Laslier, Hervé Moulin, M. Remzi Sanver, and William S. Zwicker, editors, The Future of Economic Design, pages 195-199. Springer, 2019.","title":"Axioms should explain solutions","authors":"Ariel D Procaccia","year":"2019","venue":"The Future of Economic Design","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Rossi et al., 2006] Francesca Rossi, Peter van Beek, and Toby Walsh, editors. Handbook of Constraint Program- ming. Elsevier, 2006.","title":"Handbook of Constraint Programming","authors":null,"year":"2006","venue":null,"doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Tang and Lin, 2009] Pingzhong Tang and Fangzhen Lin. Computer-aided proofs of Arrow's and other impossibil- ity theorems. Artificial Intelligence, 173(11):1041-1053, 2009.","title":"Pingzhong Tang and Fangzhen Lin. Computer-aided proofs of Arrow's and other impossibility theorems","authors":"Lin Tang","year":"2009","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[Zwicker, 2016] William S. Zwicker. Introduction to voting theory. In Felix Brandt, Vincent Conitzer, Ulle Endriss, Jérôme Lang, and Ariel D. Procaccia, editors, Handbook of Computational Social Choice, chapter 2, pages 23-56. Cambridge University Press, 2016.","title":"Introduction to voting theory","authors":"William S Zwicker","year":"2016","venue":"Handbook of Computational Social Choice","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}