A Framework for Epistemic Gossip Protocols
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 . 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.
KeywordsEpistemic gossip protocol Epistemic gossip framework Gossip tree Protocol engineering
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.
- 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
- 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)
- 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 1Google Scholar