Foundations of a functional approach to knowledge representation.
Artificial Intelligence
Distributed Artificial Intelligence
Distributed Artificial Intelligence
All I know: a study in autoepistemic logic
Artificial Intelligence
Dimensions of knowledge sharing and reuse
Computers and Biomedical Research
Reasoning about knowledge: a survey
Handbook of logic in artificial intelligence and logic programming (Vol. 4)
The DARPA knowledge sharing effort: progress report
Readings in agents
Verifying that agents implement a communication language
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
A General Approach to Multi-agent Minimal Knowledge
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
All they know: a study in multi-agent autoepistemic reasoning
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Hi-index | 0.00 |
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.