Impossibility in belief merging

DOI10.1016/J.ARTINT.2017.06.003zbMATH Open1419.68123arXiv1606.04589OpenAlexW2964160859MaRDI QIDQ1680693FDOQ1680693

Authors: Amílcar Mata Díaz, Ramón Pino Pérez 

Publication date: 16 November 2017

Published in: Artificial Intelligence (Search for Journal in Brave)

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 P'erez. 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: Standard Domain, Pareto Property, Independence of Irrelevant Alternatives and Absence of Dictator. 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. 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.

Full work available at URL: https://arxiv.org/abs/1606.04589

Recommendations

• Impossibility results for belief contraction
• Impossibility results for rational belief
• Impossible worlds and partial belief
• An impossibility theorem for amalgamating evidence
• Belief merging within fragments of propositional logic
• Belief merging within fragments of propositional logic
• scientific article; zbMATH DE number 4061191
• Belief merging by examples
• Non-Additive Degrees of Belief
• The impossibility of coherence

zbMATH Keywords

Arrow's impossibility theoremepistemic statesbelief merging

Mathematics Subject Classification ID

Social choice (91B14) Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)

Cites Work

• Social choice and individual values
• On the logic of theory change: Partial meet contraction and revision functions
• What does a conditional knowledge base entail?
• Knowledge in flux. Modeling the dynamics of epistemic states
• Handbook of social choice and welfare. Vol. 1.
• Strategy-proofness and Arrow's conditions: existence and correspondence theorems for voting procedures and social welfare functions
• Manipulation of Voting Schemes: A General Result
• Propositional knowledge base revision and minimal change
• On the logic of iterated belief revision
• \(\text{DA}^2\) merging operators
• Title not available (Why is that?)
• Manipulation of social decision functions
• Merging Information Under Constraints: A Logical Framework
• Logic based merging
• The strategy-proofness landscape of merging
• The epistemic view of belief merging: can we track the truth?
• Propositional belief base merging or how to merge beliefs/goals coming from several sources and some links with social choice theory
• Logic-based fusion of complex epistemic states

Cited In (7)

• An impossibility theorem for amalgamating evidence
• The epistemic view of belief merging: can we track the truth?
• Taxonomy of powerful voters and manipulation in the framework of social choice functions
• Merging epistemic states and manipulation
• On manipulation in merging epistemic states
• Impossibility of gathering, a certification
• Logic-based fusion of complex epistemic states

This page was built for publication: Impossibility in belief merging

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1680693)