In this paper we forge a connection between dynamic epistemic logics of belief revision on one hand and studies of collective judgement and multi-agent preference change on the other. Belief revision in the spirit of dynamic epistemic logic uses updating with relational substitutions to change the beliefs of individual agents. Collective judgement in social choice theory studies the collective outcomes of individual belief changes. We start out from the logic of communication and change (LCC), which is basically epistemic propositional dynamic logic (PDL) extended with update action modalities. We show how epistemic PDL can be made to handle belief operators. Our new version of epistemic/doxastic PDL does not impose any constraints on the basic relations. Because of this it does not suffer from the drawback of LCC that constraints on epistemic relations, such as transitivity and reflexivity, may get lost under updates that are admitted by the system. After introducing the base system without constraints, we study the effects of imposing a single constraint, namely the constraint that the agent’s preference relations are linked. Linkedness is a natural extension of local connectedness to the multi-agent case. It assures that if Alice prefers y to x and Bob prefers z to x, then both Alice and Bob can make up their minds when given a choice between y and z. Since general belief changes may not preserve linkedness, we propose a recipe for belief change that does preserve it. Finally, we show that the resulting framework can be used to model consensus seeking procedures. We focus on the case of plenary Dutch meetings. In Dutch meetings, a belief change (or rather: preference change) is performed for all agents in the meeting if a majority believes (or: is in favour of) the proposition that is under discussion. A special case of these meetings is judgement aggregation, and we apply our framework to the discursive dilemma in..
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Propositional Dynamic Logic as a Logic of Knowledge Update and Belief Revision.Jan van Eijck - unknown
Prolegomena to Dynamic Logic for Belief Revision.P. Van Ditmarsch Hans - 2005 - Synthese 147 (2):229-275.
Belief Revision in a Temporal Framework.Giacomo Bonanno - 2008 - In Krzysztof Apt & Robert van Rooij (eds.), New Perspectives on Games and Interaction. Amsterdam University Press.
Dynamic Logic for Belief Revision.Johan van Benthem - 2007 - Journal of Applied Non-Classical Logics 17 (2):129-155.
My Beliefs About Your Beliefs: A Case Study in Theory of Mind and Epistemic Logic.Hans van Ditmarsch & Willem Labuschagne - 2007 - Synthese 155 (2):191-209.
My Beliefs About Your Beliefs: A Case Study in Theory of Mind and Epistemic Logic.Hans Van Ditmarsch & Willem Labuschagne - 2007 - Synthese 155 (2):191 - 209.
Belief Change as Change in Epistemic Entrenchment.Abhaya C. Nayak, Paul Nelson & Hanan Polansky - 1996 - Synthese 109 (2):143 - 174.
Iterated Belief Revision, Reliability, and Inductive Amnesia.Kevin T. Kelly - 1999 - Erkenntnis 50 (1):11-58.
Belief Revision: A Critique. [REVIEW]Nir Friedman & Joseph Y. Halpern - 1999 - Journal of Logic, Language and Information 8 (4):401-420.
Added to index2010-11-21
Total downloads18 ( #269,261 of 2,164,579 )
Recent downloads (6 months)1 ( #347,995 of 2,164,579 )
How can I increase my downloads?