A Logical Framework for Knowledge Sharing in Multi-agent Systems

The issue of knowledge sharing has been an important topic in multi-agent research. Knowledge sharing leads to that agents analyze, judge and synthesize the told information so as to make agents’ own knowledge. To match these applications, this paper builds a logical framework for knowledge sharing among agents. We developa multimodal logic for reasoning about both agents’ knowledge and told information. For formalizing the relationshipb etween knowledge and told information, we present a framework of semantics, with respect to which a sound and complete proof theory is given.