{"type":"ScholarlyArticle","title":"Impossibility in Belief Merging (Extended Abstract)","authors":[{"name":"Amilcar Mata Diaz","slug":"amilcar-mata-diaz","given":"Amilcar Mata","family":"Diaz","affiliation":"Departamento de Matemáticas , Facultad de Ciencias , Universidad de Los Andes. Mérida , Venezuela."},{"name":"Ramon Pino Perez","slug":"ramon-pino-perez","given":"Ramon Pino","family":"Perez","affiliation":"Departamento de Matemáticas , Facultad de Ciencias , Universidad de Los Andes. Mérida , Venezuela."}],"abstract":"With the aim of studying social properties of belief merging and having a better understanding of impossibility, we extend in three ways the framework of logic-based merging introduced by Konieczny and Pino Perez.\r\n   First, at the level of representation of the information, we pass from  belief bases   to complex epistemic states. Second, the profiles are represented as functions of finite societies to the set of epistemic states (a sort of vectors) and not as multisets of epistemic states. Third, we extend the set of rational postulates in order to consider the epistemic versions of the  classical  postulates of social choice theory:\r\n   standard domain, Pareto property, independence of irrelevant alternatives and absence of dictator.\r\n   These epistemic versions of social postulates are given, essentially, in terms of the finite propositional logic.   We state some representation theorems for these operators. These extensions and representation theorems allow us to  establish an epistemic and very general version of Arrow's impossibility theorem.\r\n  One of the interesting features of our result,  is that it holds for different representations of epistemic states; for instance conditionals, ordinal conditional functions and, of course, total preorders.","doi":"10.24963/ijcai.2018/799","url":"https://ijcai.org/proceedings/2018/799","pdf":"https://ijcai.org/proceedings/2018/0799.pdf","markdown":"https://ijcai.org/proceedings/2018/799.md","bibtex":"https://ijcai.org/proceedings/2018/bibtex/799","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":"Journal track","track":"Journal track","number":799,"pages":{"first":5632,"last":5636},"keywords":["Knowledge Representation and Reasoning: Information Fusion","Knowledge Representation and Reasoning: Belief Change","Knowledge Representation and Reasoning: Knowledge Representation and  Game Theory ; Social Choice"],"videos":[],"references":[{"position":1,"raw":"[Arrow, 1963] Kenneth J. Arrow. Social choice and individ- ual values. Yale University Press, 1963.","title":"Social choice and individual values","authors":"J Kenneth, Arrow","year":"1963","venue":null,"doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Benferhat et al., 2000] Salem Benferhat, Sébastien Konieczny, Odile Papini, and Ramón Pino Pérez. It- erated revision by epistemic states: Axioms, semantics and syntax. In Werner Horn, editor, ECAI, pages 13-17.","title":"Iterated revision by epistemic states: Axioms, semantics and syntax","authors":"Salem Benferhat, Sébastien Konieczny, Odile Papini, Ramón Pino, Pérez","year":null,"venue":"ECAI","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Campbell and Kelly, 2002] Donald E. Campbell and Jerry S. Kelly. Impossibility theorems in the arrovian framekork. In Kenneth J. Arrow, Amartya K. Sen, and Kotaro Suzumura, editors, Handbook of Social Choice and Welfare, Volume 1 (Handbooks in Economics), pages 35-94. North-Holland, 2002.","title":"Impossibility theorems in the arrovian framekork","authors":"Donald E Campbell, Jerry S Kelly","year":"2002","venue":"Handbook of Social Choice and Welfare","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Chopra et al., 2006] Samir Chopra, Aditya K. Ghose, and Thomas Andreas Meyer. Social choice theory, belief merg- ing, and strategy-proofness. Information Fusion, 7(1):61- 79, 2006.","title":"Social choice theory, belief merging, and strategy-proofness","authors":"Samir Chopra, Aditya K Ghose, Thomas Andreas Meyer","year":"2006","venue":"Information Fusion","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Darwiche and Pearl, 1997] Adnan Darwiche and Judea Pearl. On the logic of iterated belief revision. Artificial intelligence, 89:1-29, 1997.","title":"On the logic of iterated belief revision","authors":"Pearl ; Darwiche, Adnan Darwiche, Judea Pearl","year":"1997","venue":"Artificial intelligence","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Everaere et al., 2007] Patricia Everaere, Sébastien Konieczny, and Pierre Marquis. The strategy-proofness landscape of merging. Journal of Artificial Intelligence Research (JAIR), 28:49-105, 2007.","title":"The strategy-proofness landscape of merging","authors":"Patricia Everaere, Sébastien Konieczny, Pierre Marquis","year":"2007","venue":"Journal of Artificial Intelligence Research (JAIR)","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Gibbard, 1973] Allan Gibbard. Manipulation of voting schemes: A general result. Econometrica, 41(4):587-601, 1973.","title":"Manipulation of voting schemes: A general result","authors":"Allan Gibbard","year":"1973","venue":"Econometrica","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Kelly, 1978] Jerry S. Kelly. Arrow impossibility theorems. New York Academic Press, 1978.","title":"Arrow impossibility theorems","authors":"Jerry S Kelly","year":"1978","venue":null,"doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Konieczny and Pino Pérez, 1999] Sébastien Konieczny and Ramón Pino Pérez. Merging with integrity constraints. In Anthony Hunter and Simon Parsons, editors, ESCQARU, volume 1638 of Lecture Notes in Computer Science, pages 233-244. Springer, 1999.","title":"Merging with integrity constraints","authors":"Pino Konieczny, Sébastien Pérez, Ramón Konieczny, Pérez Pino","year":"1999","venue":"ESCQARU","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Konieczny and Pino Pérez, 2002] Sébastien Konieczny and Ramón Pino Pérez. Merging information under con- straints: A logical framework. J. Log. Comput., 12(5):773-808, 2002.","title":"Merging information under constraints: A logical framework","authors":"Pino Konieczny, Sébastien Pérez, Ramón Konieczny, Pérez Pino","year":"2002","venue":"J. Log. Comput","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Konieczny and Pino Pérez, 2005] Sébastien Konieczny and Ramón Pino Pérez. Propositional belief base merging or how to merge beliefs/goals coming from several sources and some links with social choice theory. European Jour- nal of Operational Research, 160(3):785-802, 2005.","title":"Propositional belief base merging or how to merge beliefs/goals coming from several sources and some links with social choice theory","authors":"Pino Konieczny, Sébastien Pérez, Ramón Konieczny, Pérez Pino","year":"2005","venue":"European Journal of Operational Research","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Konieczny and Pino Pérez, 2011] Sébastien Konieczny and Ramón Pino Pérez. Logic based merging. J. Philos. Logic, 40(2):239-270, 2011.","title":"Logic based merging","authors":"Pino Konieczny, Sébastien Pérez, Ramón Konieczny, Pérez Pino","year":"2011","venue":"J. Philos. Logic","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Mata Díaz and Pino Pérez, 2011] Amílcar Mata Díaz and Ramón Pino Pérez. Logic-based fusion of complex epis- temic states. In Weiru Liu, editor, ECSQARU, volume 6717 of Lecture Notes in Computer Science, pages 398- 409. Springer, 2011.","title":"Amílcar Mata Díaz and Ramón Pino Pérez. Logic-based fusion of complex epistemic states","authors":"Mata Díaz, Pino Pérez","year":"2011","venue":"ECSQARU","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Mata Díaz and Pino Pérez, 2017] Amílcar Mata Díaz and Ramón Pino Pérez. Impossibility in belief merging. Arti- ficial Intelligence, 251:1 -34, 2017.","title":"Amílcar Mata Díaz and Ramón Pino Pérez. Impossibility in belief merging","authors":"Mata Díaz, Pino Pérez","year":"2017","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Satterthwaite, 1975] Mark Allen Satterthwaite. Strategy- proofness and Arrow's conditions: Existence and corre- spondence theorems for voting procedures and social wel- fare functions. Journal of Economic Theory, 10(2):187- 217, April 1975.","title":"Strategyproofness and Arrow's conditions: Existence and correspondence theorems for voting procedures and social welfare functions","authors":"Mark Allen, Satterthwaite","year":"1975","venue":"Journal of Economic Theory","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Suzumura, 2002] Kotaro Suzumura. Introduction. In Ken- neth J. Arrow, Amartya K. Sen, and Kotaro Suzumura, ed- itors, Handbook of Social Choice and Welfare, Volume 1 (Handbooks in Economics), pages 1-32. North-Holland, 2002.","title":"Introduction","authors":"Kotaro Suzumura","year":"2002","venue":"Handbook of Social Choice and Welfare","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Taylor, 2005] Alan D. Taylor. Social Choice and the Mathe- matics of Manipulation (Outlooks). Cambridge University Press, May 2005.","title":"Social Choice and the Mathematics of Manipulation (Outlooks)","authors":"Alan D Taylor","year":"2005","venue":null,"doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}