Skip to main content
Book cover

International Workshop on Logic, Rationality and Interaction

LORI 2019: Logic, Rationality, and Interaction pp 199–213Cite as

Public Group Announcements and Trust in Doxastic Logic

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

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.

Keywords

  • Syntactic beliefs
  • Group announcements
  • Belief change
  • Trust

This is a preview of subscription content, access via your institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-662-60292-8_15
  • Chapter length: 15 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   69.99
Price excludes VAT (USA)
  • ISBN: 978-3-662-60292-8
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   89.99
Price excludes VAT (USA)
Learn about institutional subscriptions

References

  1. Ågotnes, T., Balbiani, P., van Ditmarsch, H., Seban, P.: Group announcement logic. J. Appl. Log. 8(1), 62–81 (2010)

    CrossRef  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)

    CrossRef  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)

    CrossRef  MathSciNet  Google Scholar 

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

    CrossRef  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)

    CrossRef  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

    CrossRef  MATH  Google Scholar 

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

    CrossRef  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)

    CrossRef  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

    CrossRef  Google Scholar 

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

    CrossRef  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)

    CrossRef  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)

    CrossRef  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)

    CrossRef  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

    Dr. Patrick Blackburn

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

    Dr. 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

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)