Skip to main content
SpringerLink
Log in

Multi-agent Belief Revision with Linked Preferences

  • Conference paper
Logic and the Foundations of Game and Decision Theory – LOFT 8 (LOFT 2008)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 6006))

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) without constraints, and then study the effects of imposing a single constraint, namely the constraint that the agent’s preference relations are linked. 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 this field. Our framework has obvious connections to coalition logic and social choice theory.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ågotnes, A., van der Hoek, W., Wooldridge, M.: Reasoning about Judgement and Preference Aggregation. In: Durfee, E.H., Yokoo, M., Huhns, M.N., Shehory, O. (eds.) AAMAS 2007, pp. 567–575. ACM Digital Library (2007)

    Google Scholar 

  2. Baltag, A., Moss, L.S., Solecki, S.: The Logic of Public Announcements, Common Knowledge, and Private Suspicions. In: Gilboa, I. (ed.) TARK 1998, pp. 43–56. Morgan Kaufmann, CA (1998)

    Google Scholar 

  3. Baltag, A., Smets, S.: Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision. Electron. Notes Theor. Comp. Sci. 165, 5–21 (2006)

    Article  MathSciNet  Google Scholar 

  4. Baltag, A., Smets, S.: A Qualitative Theory of Dynamic Interactive Belief Revision. In: Bonanno, G., van der Hoek, W., Wooldridge, M. (eds.) LOFT 2006. Texts in Logic and Games, vol. 3, pp. 9–58. Amsterdam University Press, Amsterdam (2008)

    Google Scholar 

  5. van Benthem, J.: Dynamic Logic for Belief Revision. J. Appl. Non-Class. Log. 14(2), 129–155 (2007)

    Google Scholar 

  6. van Benthem, J., Liu, F.: Dynamic Logic of Preference Upgrade. J. Appl. Non-Class. Log. 14(2), 157–182 (2007)

    Google Scholar 

  7. van Benthem, J., van Eijck, J., Kooi, B.: Logics of Communication and Change. Inform. Comput. 204(11), 1620–1662 (2006)

    Article  MATH  Google Scholar 

  8. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science, vol. 53. Cambridge University Press, Cambridge (2001)

    MATH  Google Scholar 

  9. Board, O.: Dynamic Interactive Epistemology. Games Econ. Behav. 49, 49–80 (2002)

    Article  MathSciNet  Google Scholar 

  10. Boutilier, C.: Toward a Logic of Qualitative Decision Theory. In: Doyle, J., Sandewall, E., Torasso, P. (eds.) KR 1994, pp. 75–86. Morgan Kaufmann, CA (1994)

    Google Scholar 

  11. van Eijck, J.: Yet More Modal Logics of Preference Change and Belief Revision. In: Apt, K.R., van Rooij, R. (eds.) New Perspectives on Games and Interaction. Texts in Logic and Games, vol. 4, pp. 81–104. Amsterdam University Press, Amsterdam (2008)

    Google Scholar 

  12. van Eijck, J., Wang, Y.: Propositional Dynamic Logic as a Logic of Belief Revision. In: Hodges, W., de Queiroz, R. (eds.) WoLLIC 2008. LNCS (LNAI), vol. 5110, pp. 136–148. Springer, Heidelberg (2008)

    Google Scholar 

  13. Goldblatt, R.: Logics of Time and Computation, Second Edition, Revised and Expanded. CSLI Lecture Notes, vol. 7. CSLI, Stanford (1992) (first edition 1987)

    Google Scholar 

  14. Grove, A.: Two Modellings for Theory Change. J. Philos. Log. 17, 157–170 (1988)

    MATH  MathSciNet  Google Scholar 

  15. Harel, D.: Dynamic Logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 2, pp. 497–604. Reidel, Dordrecht (1984)

    Google Scholar 

  16. Kozen, D., Parikh, R.: An Elementary Proof of the Completeness of PDL. Theor. Comput. Sci. 14, 113–118 (1981)

    Article  MATH  MathSciNet  Google Scholar 

  17. List, C., Pettit, P.: On the Many as One. Philos. Public Aff. 33(4), 377–390 (2005)

    Article  Google Scholar 

  18. Lutz, C.: PDL with Intersection and Converse is Decidable. In: Ong, L. (ed.) CSL 2005. LNCS, vol. 3634, pp. 413–427. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  19. Nayak, A.C.: Iterated Belief Change Based on Epistemic Entrenchment. Erkenntnis 41, 353–390 (1994)

    Article  MathSciNet  Google Scholar 

  20. Pauly, M.: Logic for Social Software. Ph.D. thesis, Universiteit van Amsterdam (2001); ILLC Publications DS-2001-10

    Google Scholar 

  21. Segerberg, K.: A Completeness Theorem in the Modal Logic of Programs. In: Traczyck, T. (ed.) Universal Algebra and Applications, pp. 36–46. Polish Science Publications (1982)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Centrum voor Wiskunde en Informatica (CWI), Science Park 123, 1098, XG, Amsterdam, The Netherlands

    Jan van Eijck & Floor Sietsma

Authors
  1. Jan van Eijck
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Floor Sietsma
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Economics, University of California, One Shields Avenue, 95616-8578, Davis, CA, USA

    Giacomo Bonanno

  2. Institute for Logic, Language and Computation (ILLC), Universiteit van Amsterdam, P.O. Box 94242, 1090 GE, Amsterdam, The Netherlands

    Benedikt Löwe

  3. Department of Computer Science, University of Liverpool, L69 7ZF, Liverpool, UK

    Wiebe van der Hoek

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

van Eijck, J., Sietsma, F. (2010). Multi-agent Belief Revision with Linked Preferences. In: Bonanno, G., Löwe, B., van der Hoek, W. (eds) Logic and the Foundations of Game and Decision Theory – LOFT 8. LOFT 2008. Lecture Notes in Computer Science(), vol 6006. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15164-4_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-15164-4_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-15163-7

  • Online ISBN: 978-3-642-15164-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation