Skip to main content
SpringerLink
Log in

Multi-agent Belief Revision Using Multisets

  • Conference paper
  • First Online:
Book cover Logic, Rationality, and Interaction (LORI 2017)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 10455))

Included in the following conference series:

  • 1009 Accesses

Abstract

Revising a belief set K with a proposition a results in a theory that entails a. We consider the case of a multiset of beliefs, representing the beliefs of multiple agents, and define its revision with a multiset of desired beliefs the group of agents should have. We give graph theoretic semantics to this revision operation and we postulate two classes of distance-based revision operators. Further, we show that this multiset revision operation can express the merging of the beliefs of multiple agents.

Support for this project was provided by a PSC-CUNY Award, jointly funded by The Professional Staff Congress and The City University of New York.

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 EPUB and 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

References

  1. Bell, J.L.: A new approach to quantum logic. Br. J. Philos. Sci. 37, 83–99 (1986)

    Article  MathSciNet  MATH  Google Scholar 

  2. Blizard, W.D., et al.: Multiset theory. Notre Dame J. Formal Logic 30(1), 36–66 (1988)

    Article  MathSciNet  MATH  Google Scholar 

  3. Deza, M.M., Deza, E.: Encyclopedia of Distances, pp. 1–583. Springer, Heidelberg (2009). doi:10.1007/978-3-642-00234-2

    Book  MATH  Google Scholar 

  4. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. MIT Press, Cambridge (1995)

    MATH  Google Scholar 

  5. Georgatos, K.: On indistinguishability and prototypes. Logic J. IGPL 11(5), 531–545 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  6. Georgatos, K.: Belief update using graphs. In: Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, pp. 649–654. AAAI Press (2008)

    Google Scholar 

  7. Georgatos, K.: Geodesic revision. J. Logic Comput. 19(3), 447–459 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  8. Georgatos, K.: Conditioning by minimizing accessibility. In: Bonanno, G., Löwe, B., Hoek, W. (eds.) LOFT 2008. LNCS (LNAI), vol. 6006, pp. 20–33. Springer, Heidelberg (2010). doi:10.1007/978-3-642-15164-4_2

    Chapter  Google Scholar 

  9. Georgatos, K.: Iterated contraction based on indistinguishability. In: Artemov, S., Nerode, A. (eds.) LFCS 2013. LNCS, vol. 7734, pp. 194–205. Springer, Heidelberg (2013). doi:10.1007/978-3-642-35722-0_14

    Chapter  Google Scholar 

  10. Georgatos, K.: Graph-based belief merging. In: Hoek, W., Holliday, W.H., Wang, W. (eds.) LORI 2015. LNCS, vol. 9394, pp. 102–115. Springer, Heidelberg (2015). doi:10.1007/978-3-662-48561-3_9

    Chapter  Google Scholar 

  11. Konieczny, S., Lang, J., Marquis, P.: DA2 merging operators. Artif. Intell. 157(12), 49–79 (2004)

    Article  MATH  Google Scholar 

  12. Konieczny, S., Pérez, R.P.: Merging with integrity constraints. In: Hunter, A., Parsons, S. (eds.) ECSQARU 1999. LNCS (LNAI), vol. 1638, pp. 233–244. Springer, Heidelberg (1999). doi:10.1007/3-540-48747-6_22

    Chapter  Google Scholar 

  13. Lehmann, D.J., Magidor, M., Schlechta, K.: Distance semantics for belief revision. J. Symb. Log. 66(1), 295–317 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  14. Liberatore, P., Schaerf, M.: Arbitration (or how to merge knowledge bases). IEEE Trans. Knowl. Data Eng. 10(1), 76–90 (1998)

    Article  Google Scholar 

  15. Poincaré, H.: La Valeur de la Science. Flammarion, Paris (1905)

    MATH  Google Scholar 

  16. Revesz, P.Z.: On the semantics of theory change: arbitration between old and new information. In: Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Databases, pp. 71–82 (1993)

    Google Scholar 

  17. Schlechta, K.: Non-prioritized belief revision based on distances between models. Theoria 63(1–2), 34–53 (1997)

    MathSciNet  Google Scholar 

  18. Zeeman, E.C.: The topology of the brain and visual perception. In: Fort, M.K. (ed.) The Topology of 3-Manifolds, pp. 240–256. Prentice Hall, Englewood Cliffs (1962)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics and Computer Science, John Jay College, City University of New York, 524 West 59th Street, New York, NY, 10019, USA

    Konstantinos Georgatos

Authors
  1. Konstantinos Georgatos
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Konstantinos Georgatos .

Editor information

Editors and Affiliations

  1. Institute for Logic, Language and Computation, University of Amsterdam , Amsterdam, Noord-Holland, The Netherlands

    Alexandru Baltag

  2. Department of Philosophy, The University of Auckland, Auckland, Auckland, New Zealand

    Jeremy Seligman

  3. Graduate School of Letters, Hokkaido University , Sapporo, Japan

    Tomoyuki Yamada

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer-Verlag GmbH Germany

About this paper

Cite this paper

Georgatos, K. (2017). Multi-agent Belief Revision Using Multisets. In: Baltag, A., Seligman, J., Yamada, T. (eds) Logic, Rationality, and Interaction. LORI 2017. Lecture Notes in Computer Science(), vol 10455. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-55665-8_32

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-55665-8_32

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-662-55664-1

  • Online ISBN: 978-3-662-55665-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Societies and partnerships

Search

Navigation