A logical framework for knowledge sharing in multi-agent systems
Su, K., Luo, X., Wang, H., Zhang, C., Zhang, S. and Chen, Qingfeng 2001, A logical framework for knowledge sharing in multi-agent systems, in Computing and combinatorics : 7th annual international conference, COCOON 2001, Guilin, China, August 20-23, 2001 : proceedings, Springer Berlin, Berlin, Germany, pp. 561-570.
Attached Files
Name
Description
MIMEType
Size
Downloads
Title
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 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.
Every reasonable effort has been made to ensure that permission has been obtained for items included in DRO. If you believe that your rights have been infringed by this repository, please contact drosupport@deakin.edu.au.