Abstract
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.
Keywords
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Bond, A. and Gasser, L. (eds): Readings in Distributed Artificial Intelligence, Morgan Kaufman Publishers, 1988.
Cohen, P.R. and Levesque, H.J.: Communication actions for artificial agents. In Proc. of the First International Conference on Multi-Agent System, pp. 65–72, San Francisco, CA, 1995
FIPA: Specification part 2-Agent communication language. The text refers to the specification dated 23 Oct 1997.
Gabbay, D.M.: Fibred semantics and the weaving of logics, part 1, modal and intuitionistic logics. Journal of Symbolic Logic, 61 (1996) 1057–1120
Halpern, J.Y.: Reasoning about knowledge: a survey. In D. Gabbay et al eds., Handbook of Logic in Artificial Intelligence and Logic Programming, 4. Oxford University Press. pp.1-34, 1995
Halpern, J.Y.: A theory of knowledge and ignorance for many agents. Journal of Logic and Computation.7 (1997) 79–108
Wiebe van der Hoek, Jan Jaspars, and Elias Thijisse. A general approach to multiagent. In M. Ojeda-Aciego et al. (Eds.): JELIA 2000, Lecture Notes in Computer Science, Vol. 1919, pages 254–268, Springer-Verlog, Berlin, 2000.
Kripke, S.: A semantical analysis of modal logic. I: Normal modal propositional calculi. Z. Math. Logik Grundl. Math. 9 (1963) 67–96.
Lakemeyer, G.: All they know: a study in multi-agent autoepistemic reasoning logic. In Proc. of IJCAI’93, pp.376–381, 1993
Lamarre, P. and Shoham, Y.: Knowledge, certainty, belief and conditionalisation. In Principles of Knowledge Representation and Reasoning: Proc. Fourth International Conference (KR’94), pp.415–424, 1994
Levesque, J.: Foundations of a functional approach to knowledge representation. Artificial Intelligence,23 (1984) 155–212
Levesque, J.: All I know: a study in autoepistemic logic. Artificial Intelligence, 42 (1990) 263–309
McCarthy, J.: Circumscription: A form of nonmonotonic reasoning. Artificial Intelligence, 13 (1980) 27–39
Musen, M.A.: Dimensions of Knowledge Sharing and Reuse. Computers and Biomedical Research, 25(1992) 435–467
Patil, R.S., Fikes, R.E. and Patel-Schneider, P.F. et al. The DARPA Knowledge Sharing Effort: Progress Report. Readings in Agents, M.N. Huhns and M.P. Singh (eds.), Morgan Kaufmann Publishers, INc., pp. 243–254, 1998.
Reiter, R.: A logic for default reasoning, Artificial Intelligence, 13 (1980) 81–132
Wooldridge, M.: Verifying that Agents Implement a Communication Language. In Proceedings of AAAI-99, pp. 52–57, 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Su, K., Luo, X., Wang, H., Zhang, C., Zhang, S., Chen, Q. (2001). A Logical Framework for Knowledge Sharing in Multi-agent Systems. In: Wang, J. (eds) Computing and Combinatorics. COCOON 2001. Lecture Notes in Computer Science, vol 2108. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44679-6_62
Download citation
DOI: https://doi.org/10.1007/3-540-44679-6_62
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42494-9
Online ISBN: 978-3-540-44679-8
eBook Packages: Springer Book Archive