Februrary 24, 2017, 2:00 pm, IA Seminar, Jérôme Lang (LAMSADE, Université Paris-Dauphine)
24 février 2017 à 14h, salle des séminaires (Bâtiment 4)
Orateur : Jérôme Lang (DR au Lamsade, Université Paris-Dauphine)
Titre : About Knowledge Representation and Computational Social Choice
Résumé : Social choice theory studies the aggregation of individual preferences towards a collective choice. Computational social choice emerged in the late 1980s, and mostly uses computational paradigms and techniques to provide a better analysis of social choice mechanisms (especially in the fields of voting and of fair division of resources), and to construct new ones. Among the subfields of artificial intelligence that are concerned by this interaction, knowledge representation plays an important role (other subfields being machine learning, reasoning with uncertainty, search, and constraint programming). The reasons for which KR plays an important role include: representing preferences and reasoning about them; computing collective decisions with incomplete knowledge of agents’ preferences; the role of knowledge in strategic behavior; and using logic for automated theorem proving in social choice. The talk will give an overview of part of these topics, and will try to identify challenges for KR researchers interested in computational social choice.