File(s) not publicly available
A logical framework for knowledge sharing in multi-agent systems
conference contributionposted on 2001-01-01, 00:00 authored by K Su, X Luo, H Wang, C Zhang, Shichao Zhang, Qingfeng Chen
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 develop a multimodal logic for reasoning about both agents’ knowledge and told information. For formalizing the relationship between knowledge and told information, we present a framework of semantics, with respect to which a sound and complete proof theory is given.