Advertisement

A Framework for Epistemic Gossip Protocols

  • Maduka Attamah
  • Hans van Ditmarsch
  • Davide Grossi
  • Wiebe van der Hoek
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, 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 

Notes

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.

References

  1. 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. 2.
    DeRemer, F.L.: Practical translators for LR (k) languages. Ph.D. thesis, Massachusetts Institute of Technology (1969)Google Scholar
  3. 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) CrossRefGoogle Scholar
  4. 4.
    Hedetniemi, S.M., Hedetniemi, S.T., Liestman, A.L.: A survey of gossiping and broadcasting in communication networks. Networks 18, 319–349 (1988)CrossRefzbMATHMathSciNetGoogle Scholar
  5. 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. 6.
    Huth, M., Ryan, M.: Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press, Cambridge (2004)CrossRefGoogle Scholar
  7. 7.
    Jamroga, W., van der Hoek, W.: Agents that know how to play. Fundamenta Informaticae 63, 185–219 (2004)zbMATHMathSciNetGoogle Scholar
  8. 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) CrossRefGoogle Scholar
  9. 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. 10.
    Ruan, J.: Reasoning about Time, Action and Knowledge in Multi-Agent Systems. Ph.D. thesis, University of Liverpool (2008)Google Scholar
  11. 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 1Google Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Maduka Attamah
    • 1
  • Hans van Ditmarsch
    • 2
  • Davide Grossi
    • 1
  • Wiebe van der Hoek
    • 1
  1. 1.Department of Computer ScienceUniversity of LiverpoolLiverpoolUK
  2. 2.LORIA—CNRSUniversity of LorraineNancyFrance

Personalised recommendations