Abstract
The logic S5n is widely used as the logic of knowledge for ideal agents in a multi-agent system. Some extensions of S5n have been proposed for expressing knowledge sharing between the agents, but no systematic exploration of the possibilities has taken place. In this paper we present a spectrum of degrees of knowledge sharing by examining and classifying axioms expressing the sharing. We present completeness results and a diagram showing the relations between some of the principal extensions of S52 and discuss their usefulness. The paper considers the case of a group of two agents of knowledge.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Baldoni, M.: Normal Multimodal Logics: Automatic Deduction and Logic Programming Extension. PhD thesis, Dipartimento di Informatica, Universitá degli Studi di Torino, Italy (1998)
Catach, L.: Normal multimodal logics. In: Smith, T.M., Mitchell, G.R. (eds.) Proceedings of the 7th National Conference on Artificial Intelligence (AAAI 1988), St. Paul, MN, pp. 491–495. Morgan Kaufmann, San Francisco (1988)
López de Mantaras, R., Amat, J., Esteva, F., López, M., Sierra, C.: Generation of unknown environment maps by cooperative low-cost robots. In: Johnson, W.L., Hayes-Roth, B. (eds.) Proceedings of the 1st International Conference on Autonomous Agents, pp. 164–169. ACM Press, New York (1997)
Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (1995)
Goldblatt, R.: The McKinsey axiom is not canonical. Journal of Symbolic Logic 56(2), 554–562 (1991)
Halpern, J., Vardi, M.: Model checking vs. theorem proving: a manifesto. In: Artificial Intelligence and Mathematical Theory of Computation, pp. 151–176. Academic Press, Inc., London (1991)
Hintikka, J.: Knowledge and Belief, an introduction to the logic of the two notions. Cornell University Press, Ithaca (NY) and London (1962)
van der Hoek, W.: Sytems for knowledge and belief. Journal of Logic and Computation 3(2), 173–195 (1993)
van der Hoek, W.: A note on the logic S5 n + {\(\diamondsuit_1 \Box_{2p} \Rightarrow \Box_1 \diamondsuit_{2p}\)}. Private Communication (1999)
Hughes, G.E., Cresswell, M.J.: A New Introduction to Modal Logic. Routledge, New York (1996)
Isozaki, I., Katsuno, H.: Observability-based nested belief computation for multiagent systems and its formalization. In: Jennings, N.R. (ed.) ATAL 1999. LNCS (LNAI), vol. 1757, Springer, Heidelberg (2000)
Kraus, S., Lehmann, D.J.: Knowledge, belief, and time. Theoretical Computer Science 58, 155–174 (1988)
Kripke, S.A.: Semantic analysis of modal logic (abstract). Journal of Symbolic Logic 24, 323–324 (1959)
Lomuscio, A.: Knowledge Sharing among Ideal Agents. PhD thesis, School of Computer Science, University of Birmingham, Birmingham, UK (June 1999)
Lomuscio, A., Ryan, M.: Ideal agents sharing (some!) knowledge. In: Prade, H. (ed.) Proceedings of Proceedings of the 13th European Conference on Artificial Intelligence, August 1998, pp. 557–561 (1998)
Lomuscio, A., Ryan, M.: An algorithmic approach to knowledge evolution. Artificial Intelligence for Engineering Design, Analysis and Manufacturing (AIEDAM)Â 13(2) (1999)
Meyer, J.-J.C., van der Hoek, W.: Epistemic Logic for AI and Computer Science. Cambridge Tracts in Theoretical Computer Science, vol. 41. Cambdridge University Press, Cambdridge (1995)
Popkorn, S.: First Steps in Modal Logic. Cambridge University Press, Cambridge (1994)
Wooldridge, M., Lomuscio, A.: Reasoning about visibility, perception and knowledge. In: Jennings, N.R. (ed.) ATAL 1999. LNCS (LNAI), vol. 1757, Springer, Heidelberg (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lomuscio, A., Ryan, M. (2000). A Spectrum of Modes of Knowledge Sharing between Agents. In: Jennings, N.R., Lespérance, Y. (eds) Intelligent Agents VI. Agent Theories, Architectures, and Languages. ATAL 1999. Lecture Notes in Computer Science(), vol 1757. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10719619_2
Download citation
DOI: https://doi.org/10.1007/10719619_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67200-5
Online ISBN: 978-3-540-46467-9
eBook Packages: Springer Book Archive