Skip to main content

A Framework for Epistemic Gossip Protocols

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

Abstract

We implement a framework to evaluate epistemic gossip protocols. Gossip protocols spread information within a network of agents by pairwise communications. This tool, Epistemic Gossip Protocol (EGP), is applied to epistemic gossip protocols presented in [1]. We introduce a programming language for epistemic gossip protocols. We describe an interpreter for this language, together with a model generator and model checker, for a dynamic model of the protocol. The tool EGP outputs key dynamic properties of such protocols, thus facilitating the process of protocol design and planning. We conclude with some experimental results.

Keywords

  • Epistemic gossip protocol
  • Epistemic gossip framework
  • Gossip tree
  • Protocol engineering

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

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-319-17130-2_13
  • Chapter length: 17 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   59.99
Price excludes VAT (USA)
  • ISBN: 978-3-319-17130-2
  • 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   79.99
Price excludes VAT (USA)
Fig. 1.
Fig. 2.

Notes

  1. 1.

    Note that the truth value of \({A_j}\) is irrelevant here, what is important is whether the truth value is known.

References

  1. Attamah, M., van Ditmarsch, H., Grossi, D., van der Hoek, W.: Knowledge and gossip. In: ECAI 2014, Frontiers in Artificial Intelligence and Applications, vol. 263, pp. 21–26. IOS Press (2014)

    Google Scholar 

  2. DeRemer, F.L.: Practical translators for LR (k) languages. Ph.D. thesis, Massachusetts Institute of Technology (1969)

    Google Scholar 

  3. Gammie, Peter, van der Meyden, Ron: MCK: model checking the logic of knowledge. In: Alur, Rajeev, Peled, Doron A. (eds.) CAV 2004. LNCS, vol. 3114, pp. 479–483. Springer, Heidelberg (2004)

    CrossRef  Google Scholar 

  4. Hedetniemi, S.M., Hedetniemi, S.T., Liestman, A.L.: A survey of gossiping and broadcasting in communication networks. Networks 18, 319–349 (1988)

    CrossRef  MATH  MathSciNet  Google Scholar 

  5. Hudson, S.E., Flannery, F., Ananian, C.S., Wang, D.: Cup LALR parser generator for java (1999). http://www2.cs.tum.edu/projects/cup/ (Online accessed 24-July-2014)

  6. Huth, M., Ryan, M.: Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press, Cambridge (2004)

    CrossRef  Google Scholar 

  7. Jamroga, W., van der Hoek, W.: Agents that know how to play. Fundamenta Informaticae 63, 185–219 (2004)

    MATH  MathSciNet  Google Scholar 

  8. Lomuscio, Alessio, Qu, Hongyang, Raimondi, Franco: MCMAS: a model checker for the verification of multi-agent systems. In: Bouajjani, Ahmed, Maler, Oded (eds.) CAV 2009. LNCS, vol. 5643, pp. 682–688. Springer, Heidelberg (2009)

    CrossRef  Google Scholar 

  9. Penczek, W., Lomuscio, A.: Verifying epistemic properties of multi-agent systems via bounded model checking. In: Proceedings of 2nd AAMAS, pp. 209–216. ACM (2003)

    Google Scholar 

  10. Ruan, J.: Reasoning about Time, Action and Knowledge in Multi-Agent Systems. Ph.D. thesis, University of Liverpool (2008)

    Google Scholar 

  11. van Eijck, J.: DEMO – a demo of epistemic modelling. In: van Benthem, J., Gabbay, D., Löwe, B. (eds.) Interactive Logic – Proceedings of the 7th Augustus de Morgan Workshop, pp. 305–363. Amsterdam University Press (2007). Texts in Logic and Games 1

    Google Scholar 

Download references

Acknowledgements

We thank the reviewers for their comments. Hans vanDitmarsch is also affiliated to IMSc, Chennai, as research associate. He acknowledges support from ERC project EPS 313360.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Maduka Attamah .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

Attamah, M., van Ditmarsch, H., Grossi, D., van der Hoek, W. (2015). A Framework for Epistemic Gossip Protocols. In: Bulling, N. (eds) Multi-Agent Systems. EUMAS 2014. Lecture Notes in Computer Science(), vol 8953. Springer, Cham. https://doi.org/10.1007/978-3-319-17130-2_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-17130-2_13

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-17129-6

  • Online ISBN: 978-3-319-17130-2

  • eBook Packages: Computer ScienceComputer Science (R0)