A logical framework for knowledge sharing in multi-agent systems
Contribuinte(s) |
Wang, J. |
---|---|
Data(s) |
01/01/2001
|
Resumo |
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. <br /> |
Identificador | |
Idioma(s) |
eng |
Publicador |
Springer Berlin |
Relação |
http://www.springerlink.com/content/c1we89lp708byyj3/fulltext.pdf |
Direitos |
2001, Springer-Verlag Berlin Heidelberg |
Palavras-Chave | #logic #autonomous agents #philosophical foundations |
Tipo |
Conference Paper |