Skip to main content
SpringerLink
Log in

Public Group Announcements and Trust in Doxastic Logic

  • Conference paper
  • First Online:
Logic, Rationality, and Interaction (LORI 2019)

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

Included in the following conference series:

Abstract

We present a doxastic logic for multi-agent systems with public group announcements. Beliefs are represented using belief bases and a dynamic of trust is introduced in order to handle belief change under contradictory announcements. We provide a complete axiomatization for this logic and illustrate its expressive power with a simple example.

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. Ågotnes, T., Balbiani, P., van Ditmarsch, H., Seban, P.: Group announcement logic. J. Appl. Log. 8(1), 62–81 (2010)

    Article  MathSciNet  Google Scholar 

  2. Ågotnes, T., van Ditmarsch, H.: Coalitions and announcements. In: Padgham, L., Parkes, D.C., Müller, J.P., Parsons, S. (eds.) Proceedings of AAMAS 2008, vol. 2, pp. 673–680. IFAAMAS (2008)

    Google Scholar 

  3. Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: partial meet contraction and revision functions. J. Symbolic Log. 50(2), 510–530 (1985)

    Article  MathSciNet  Google Scholar 

  4. Baltag, A., Smets, S.: Dynamic belief revision over multi-agent plausibility models. In: Proceedings of LOFT, vol. 6, pp. 11–24. University of Liverpool (2006)

    Google Scholar 

  5. van Benthem, J.: Dynamic logic for belief revision. J. Appl. Non-class. Log. 17(2), 129–155 (2007)

    Article  MathSciNet  Google Scholar 

  6. Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)

    Book  Google Scholar 

  7. Delgrande, J.P., Dubois, D., Lang, J.: Iterated revision as prioritized merging. KR 6, 210–220 (2006)

    Google Scholar 

  8. Demolombe, R., Liau, C.J.: A logic of graded trust and belief fusion. In: Proceedings of the 4th Workshop on Deception, Fraud and Trust in Agent Societies, pp. 13–25 (2001)

    Google Scholar 

  9. van Ditmarsch, H.: Dynamics of lying. Synthese 191(5), 745–777 (2014)

    Article  MathSciNet  Google Scholar 

  10. van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Synthese Library, vol. 337. Springer, Dordrecht (2008). https://doi.org/10.1007/978-1-4020-5839-4

    Book  MATH  Google Scholar 

  11. Fisher, M., Ghidini, C.: Exploring the future with resource-bounded agents. J. Logic Lang. Inform. 18(1), 3–21 (2009)

    Article  MathSciNet  Google Scholar 

  12. Ghosh, S., Velázquez-Quesada, F.R.: Agreeing to agree: reaching unanimity via preference dynamics based on reliable agents. In: Proceedings of AAMAS 2015, pp. 1491–1499. IFAAMAS (2015)

    Google Scholar 

  13. Herzig, A., Lorini, E., Hübner, J.F., Vercouter, L.: A logic of trust and reputation. Log. J. IGPL 18(1), 214–244 (2010)

    Article  MathSciNet  Google Scholar 

  14. Jonker, C.M., Treur, J.: Formal analysis of models for the dynamics of trust based on experiences. In: Garijo, F.J., Boman, M. (eds.) MAAMAW 1999. LNCS (LNAI), vol. 1647, pp. 221–231. Springer, Heidelberg (1999). https://doi.org/10.1007/3-540-48437-X_18

    Chapter  Google Scholar 

  15. Konieczny, S., Pérez, R.P.: Logic based merging. J. Philos. Log. 40(2), 239–270 (2011)

    Article  MathSciNet  Google Scholar 

  16. Leturc, C., Bonnet, G.: A normal modal logic for trust in the sincerity. In: André, E., Koenig, S., Dastani, M., Sukthankar, G. (eds.) Proceedings of AAMAS 2018, pp. 175–183. IFAAMAS (2018)

    Google Scholar 

  17. Liau, C.J.: Belief, information acquisition, and trust in multi-agent systemsa modal logic formulation. Artif. Intell. 149, 31–60 (2003)

    Article  Google Scholar 

  18. Lorini, E.: In praise of belief bases: doing epistemic logic without possible worlds. In: Thirty-Second AAAI Conference on Artificial Intelligence (2018)

    Google Scholar 

  19. Plaza, J.: Logics of public communications (reprint of 1989’s paper). Synthese 158(2), 165–179 (2007)

    Article  MathSciNet  Google Scholar 

  20. Priest, G., Tanaka, K., Weber, Z.: Paraconsistent logic. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, summer 2018 edn. (2018)

    Google Scholar 

  21. Segerberg, K.: Belief revision from the point of view of doxastic logic. Log. J. IGPL 3(4), 535–553 (1995)

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

Support from the ANR project CoPains (Cognitive Planning in Persuasive Multimodal Communication) is gratefully acknowledged.

Author information

Authors and Affiliations

  1. IRIT, Toulouse, France

    Elise Perrotin

  2. University of Nottingham, Nottingham, UK

    Rustam Galimullin & Natasha Alechina

  3. ENS Paris-Saclay, Cachan, France

    Quentin Canu

Authors
  1. Elise Perrotin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Rustam Galimullin
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Quentin Canu
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Natasha Alechina
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Elise Perrotin .

Editor information

Editors and Affiliations

  1. Roskilde University, Roskilde, Denmark

    Patrick Blackburn

  2. Université Paul Sabatier, IRIT-CNRS, Toulouse, France

    Emiliano Lorini

  3. Southwest University, Chongqing, China

    Meiyun Guo

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer-Verlag GmbH Germany, part of Springer Nature

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Perrotin, E., Galimullin, R., Canu, Q., Alechina, N. (2019). Public Group Announcements and Trust in Doxastic Logic. In: Blackburn, P., Lorini, E., Guo, M. (eds) Logic, Rationality, and Interaction. LORI 2019. Lecture Notes in Computer Science(), vol 11813. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-60292-8_15

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-60292-8_15

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

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

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation