|Abstract||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)|
|Through your library||Only published papers are available at libraries|
Similar books and articles
Hans P. Van Ditmarsch (2005). Prolegomena to Dynamic Logic for Belief Revision. Synthese 147 (2):229 - 275.
Giacomo Bonanno (2008). Belief Revision in a Temporal Framework. In Krzysztof Apt & Robert van Rooij (eds.), New Perspectives on Games and Interaction. Amsterdam University Press.
Hans van Ditmarsch & Willem Labuschagne (2007). My Beliefs About Your Beliefs: A Case Study in Theory of Mind and Epistemic Logic. Synthese 155 (2).
Hans Van Ditmarsch & Willem Labuschagne (2007). My Beliefs About Your Beliefs: A Case Study in Theory of Mind and Epistemic Logic. Synthese 155 (2):191 - 209.
Abhaya C. Nayak, Paul Nelson & Hanan Polansky (1996). Belief Change as Change in Epistemic Entrenchment. Synthese 109 (2):143 - 174.
Sebastian Enqvist (2009). Interrogative Belief Revision in Modal Logic. Journal of Philosophical Logic 38 (5):527 - 548.
Kevin T. Kelly (1999). Iterated Belief Revision, Reliability, and Inductive Amnesia. Erkenntnis 50 (1):11-58.
Nir Friedman & Joseph Y. Halpern (1999). Belief Revision: A Critique. Journal of Logic, Language and Information 8 (4):401-420.
Dongmo Zhang & Norman Foo (2001). Infinitary Belief Revision. Journal of Philosophical Logic 30 (6):525-570.
Added to index2010-11-21
Total downloads5 ( #160,204 of 548,984 )
Recent downloads (6 months)0
How can I increase my downloads?