{"type":"ScholarlyArticle","title":"Accountable Approval Sorting","authors":[{"name":"Khaled Belahcene","slug":"khaled-belahcene","given":"Khaled","family":"Belahcene","affiliation":"Laboratoire Genie Industriel , CentraleSupélec , Université Paris-Saclay , Gif-sur-Yvette , France"},{"name":"Yann Chevaleyre","slug":"yann-chevaleyre","given":"Yann","family":"Chevaleyre","affiliation":"Université Paris-Dauphine , PSL Research University , CNRS , UMR [ 7243] , LAMSADE , France"},{"name":"Christophe Labreuche","slug":"christophe-labreuche","given":"Christophe","family":"Labreuche","affiliation":"Thales Research and Technology , Palaiseau , France"},{"name":"Nicolas Maudet","slug":"nicolas-maudet","given":"Nicolas","family":"Maudet","affiliation":"Sorbonne Université , CNRS , Laboratoire d'Informatique de Paris 6 , LIP6 , France"},{"name":"Vincent Mousseau","slug":"vincent-mousseau","given":"Vincent","family":"Mousseau","affiliation":"Laboratoire Genie Industriel , CentraleSupélec , Université Paris-Saclay , Gif-sur-Yvette , France"},{"name":"Wassila Ouerdane","slug":"wassila-ouerdane","given":"Wassila","family":"Ouerdane","affiliation":"Laboratoire Genie Industriel , CentraleSupélec , Université Paris-Saclay , Gif-sur-Yvette , France"}],"abstract":"We consider decision situations in which a set of points of view (voters, criteria) are to sort a set of candidates to ordered categories (Good/Bad). Candidates are judged  good, when approved by a sufficient set of points of view; this corresponds to NonCompensatory Sorting. To be accountable, such approval sorting should provide guarantees about the decision process and decisions concerning specific candidates. We formalize accountability using a feasibility problem expressed as a boolean satisfiability formulation. We illustrate different forms of accountability when a committee decides with approval sorting and study the information that should be disclosed by the committee.","doi":"10.24963/ijcai.2018/10","url":"https://ijcai.org/proceedings/2018/10","pdf":"https://ijcai.org/proceedings/2018/0010.pdf","markdown":"https://ijcai.org/proceedings/2018/10.md","bibtex":"https://ijcai.org/proceedings/2018/bibtex/10","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":10,"pages":{"first":70,"last":76},"keywords":["Agent-based and Multi-agent Systems: Voting","Knowledge Representation and Reasoning: Preference Modelling and Preference-Based Reasoning","Constraints and SAT: Modeling;Formulation"],"videos":[],"references":[{"position":1,"raw":"[Aziz et al., 2015] Haris Aziz, Serge Gaspers, Joachim Gud- mundsson, Simon Mackenzie, Nicholas Mattei, and Toby Walsh. Computational aspects of multi-winner approval voting. In Proceedings of AAMAS, pages 107-115, 2015.","title":"Computational aspects of multi-winner approval voting","authors":"Haris Aziz, Serge Gaspers, Joachim Gudmundsson, Simon Mackenzie, Nicholas Mattei, Toby Walsh","year":"2015","venue":"Proceedings of AAMAS","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Barrot et al., 2013] Nathanaël Barrot, Laurent Gourvès, Jérôme Lang, Jérôme Monnot, and Bernard Ries. Possi- ble winners in approval voting. In Proceedings of the third International conference on Algorithmic Decision Theory, pages 57-70, 2013.","title":"Possible winners in approval voting","authors":"Nathanaël Barrot, Laurent Gourvès, Jérôme Lang, Jérôme Monnot, Bernard Ries","year":"2013","venue":"Proceedings of the third International conference on Algorithmic Decision Theory","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Belahcene et al., 2017] Khaled Belahcene, Christophe Labreuche, Nicolas Maudet, Vincent Mousseau, and Wassila Ouerdane. A model for accountable ordinal sorting. In Proceedings of the 26 International Joint Conference on Artificial Intelligence, pages 814-820, 2017.","title":"A model for accountable ordinal sorting","authors":"Khaled Belahcene, Christophe Labreuche, Nicolas Maudet, Vincent Mousseau, Wassila Ouerdane","year":"2017","venue":"Proceedings of the 26 International Joint Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":"/proceedings/2017/113"},{"position":4,"raw":"[Besnard et al., 2010] Philippe Besnard, Éric Grégoire, Cédric Piette, and Badran Raddaoui. MUS-based gener- ation of arguments and counter-arguments. In Proceed- ings of the IEEE International Conference on Information Reuse and Integration, pages 239-244, 2010.","title":"MUS-based generation of arguments and counter-arguments","authors":"Philippe Besnard, Éric Grégoire, Cédric Piette, Badran Raddaoui","year":"2010","venue":"Proceedings of the IEEE International Conference on Information Reuse and Integration","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Boutilier and Rosenschein, 2016] Craig Boutilier and Jef- frey S. Rosenschein. Incomplete Information and Commu- nication in Voting, page 223-258. Cambridge University Press, 2016.","title":"Incomplete Information and Communication in Voting","authors":"Craig Boutilier, Jeffrey S Rosenschein","year":"2016","venue":null,"doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Bouyssou and Marchant, 2007] Denis Bouyssou and Thierry Marchant. An axiomatic approach to noncom- pensatory sorting methods in MCDM, i: The case of two categories. EJOR, 178(1):217-245, 2007.","title":"An axiomatic approach to noncompensatory sorting methods in MCDM, i: The case of two categories","authors":"Denis Bouyssou, Thierry Marchant","year":"2007","venue":"EJOR","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Bouyssou et al., 2006] Denis Bouyssou, Thierry Marchant, Marc Pirlot, Alexis Tsoukiàs, and Philippe Vincke. Evalu- ation and decision models with multiple criteria: Stepping stones for the analyst. International Series in Operations Research and Management Science. Springer, 2006.","title":"Evaluation and decision models with multiple criteria: Stepping stones for the analyst","authors":"Denis Bouyssou, Thierry Marchant, Marc Pirlot, Alexis Tsoukiàs, Philippe Vincke","year":"2006","venue":"International Series in Operations Research and Management Science","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Doshi-Velez et al., 2017] Finale Doshi-Velez, Mason Ko- rtz, Ryan Budish, Chris Bavitz, Sam Gershman, David O'Brien, Stuart Schieber, James Waldo, David Wein- berger, and Alexandra Wood. Accountability of AI under the law: The role of explanation. CoRR, abs/1711.01134, 2017.","title":"Accountability of AI under the law: The role of explanation","authors":"Doshi-Velez","year":"2017","venue":null,"doi":null,"url":null,"internal_url":null},{"position":9,"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":10,"raw":"[Greco et al., 2010] Salvatore Greco, Vincent Mousseau, and Roman Słowiński. Multiple criteria sorting with a set of additive value functions. European Journal of Opera- tional Research, 207(3):1455 -1470, 2010.","title":"Multiple criteria sorting with a set of additive value functions","authors":"Salvatore Greco, Vincent Mousseau, Roman Słowiński","year":"2010","venue":"European Journal of Operational Research","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Junker, 2004] Ulrich Junker. Quickxplain: Preferred expla- nations and relaxations for over-constrained problems. In Proceedings of the 19th National Conference on Artifical Intelligence, pages 167-172, 2004.","title":"Quickxplain: Preferred explanations and relaxations for over-constrained problems","authors":"Ulrich Junker, Junker","year":"2004","venue":"Proceedings of the 19th National Conference on Artifical Intelligence","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Kroll et al., 2017] Joshua A. Kroll, Joanna Huey, Solon Barocas, Edward W. Felten, Joel R. Reidenberg, David G. Robinson, and Harlan Yu. Accountable algorithms. Uni- versity of Pennsylvania Law Review, 165, 2017.","title":"Accountable algorithms","authors":"Joshua A Kroll, Joanna Huey, Solon Barocas, Edward W Felten, Joel R Reidenberg, David G Robinson, Harlan Yu","year":"2017","venue":"University of Pennsylvania Law Review","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Labreuche, 2011] Christophe Labreuche. A general frame- work for explaining the results of a multi-attribute pref- erence model. Artificial Intelligence Journal, 175:1410- 1448, 2011.","title":"A general framework for explaining the results of a multi-attribute preference model","authors":"Christophe Labreuche","year":"2011","venue":"Artificial Intelligence Journal","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Laslier and Sanver, 2010] Jean-Franc ¸ois Laslier and M. Remzi Sanver. Handbook on Approval Voting. Studies in Choice and Welfare. Springer, Boston, 2010.","title":"Handbook on Approval Voting. Studies in Choice and Welfare","authors":"Sanver ; Jean-Franc ¸ois Laslier, M Remzi Laslier, Sanver","year":"2010","venue":null,"doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Leroy et al., 2011] Agnes Leroy, Vincent Mousseau, and Marc Pirlot. Learning the parameters of a multiple crite- ria sorting method. In Proceedings of the second Interna- tional conference on Algorithmic Decision Theory, pages 219-233, 2011.","title":"Learning the parameters of a multiple criteria sorting method","authors":"Leroy","year":"2011","venue":"Proceedings of the second International conference on Algorithmic Decision Theory","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Mitchell, 1982] Tom M. Mitchell. Generalization as search. Artificial Intelligence, 18(2):203-226, 1982.","title":"Generalization as search","authors":"Tom M Mitchell","year":"1982","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Nunes et al., 2014] Ingrid Nunes, Simon Miles, Michael Luck, Simone Diniz Junqueira Barbosa, and Carlos José Pereira de Lucena. Pattern-based explanation for auto- mated decisions. In Proceedings of 21st ECAI, pages 669- 674, 2014.","title":"Pattern-based explanation for automated decisions","authors":"Ingrid Nunes, Simon Miles, Michael Luck, Simone Diniz, Junqueira Barbosa, Carlos José Pereira De, Lucena","year":"2014","venue":"Proceedings of 21st ECAI","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Sobrie et al., 2015] Olivier Sobrie, Vincent Mousseau, and Marc Pirlot. Learning the parameters of a non compen- satory sorting model. In Proceedings of the fourth Inter- national Conference on Algorithmic Decision Theory, vol- ume 9346, pages 153-170, 2015.","title":"Learning the parameters of a non compensatory sorting model","authors":"Sobrie","year":"2015","venue":"Proceedings of the fourth International Conference on Algorithmic Decision Theory","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Wachter et al., 2017] Sandra Wachter, Brent Mittelstadt, and Luciano Floridi. Why a Right to Explanation of Au- tomated Decision-Making Does Not Exist in the General Data Protection Regulation. International Data Privacy Law, 7(2):76-99, May 2017.","title":"Why a Right to Explanation of Automated Decision-Making Does Not Exist in the General Data Protection Regulation","authors":"Sandra Wachter, Brent Mittelstadt, Luciano Floridi","year":"2017","venue":"International Data Privacy Law","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Walton, 1996] Douglas Walton. Argumentation schemes for Presumptive Reasoning. Mahwah, N. J.,Erlbaum, 1996.","title":"Argumentation schemes for Presumptive Reasoning","authors":"Douglas Walton","year":"1996","venue":null,"doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}