Introduction
This site is about Multi-agent Communication. Its main focus is on communication in the context of Cooperative Problem Solving (CPS).
We discuss several knowledge based algorithms/protocols for Multi-agent Communication. A knowledge based protocol can be viewed as a program written in a high level programming language (Halpern & Zuck (1992)). It is a way to describe protocols. Of course, the high level programming language they use has some operators borrowed from epistemic logic. They argue that this way of representing protocols makes them easier to understand. Also, it makes it easier to prove certain properties of protocols.
We present a simulation of a knowledge based protocol described in Van Baars & Verbrugge (2007). This protocol will support all kinds of communication needed for agents doing CPS.
Before we present this algorithm we discuss a knowledge-based protocol for one-on-one communication, and an extension of this algorithm to facilitate one-on-group communication. We will show that these algorithms can be viewed as building blocks for the CPS protocol.
