Implicit group knowledge (or distributive knowledge) is the sum of the knowledge in a group. In this paper, two approaches to group implicit knowledge are compared. According to the first approach, group implicit knowledge is defined as a logical consequence of individual agents’ knowledge sets. According to the second approach, group implicit knowledge is characterized by an intersection of agents’ indistinguishability relations in a Kripke model. Two modal operators are considered: the implicit knowledge operator based on the first approach ($I_G$), and the distributive knowledge operator based on the second one ($D_G$). The paper argues that the principle of full communication (it should be possible for the agents of the group to establish information through communication) is compatible only with the compact group implicit knowledge operator because standard non-compact operator potentially involves infinite communication. In this paper, we introduce four modal operators for compact implicit knowledge, which differ in the condition for information extracting: validity in the model, common knowledge, <<everybody in a group knows>>, <<somebody in a group knows>>. It is shown that all types of compact implicit knowledge are equivalent to the distributive knowledge operator in a class of finite and distinguishing models. This demonstrates that the requirement of logical consequence for knowledge extractions is redundant and can be replaced by an epistemic modality <<somebody knows>>.
Copyright (c) 2022 Виталий Долгоруков
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.
Blackburn et al., 2001 – Blackburn, P., de Rijke, M., Venema, Y. Modal logic. Cambridge: Cambridge University Press, 2001. 578 pp.
Fagin et al., 1992 – Fagin, R., Halpern, J., Vardi, M. “What Can Machines Know?”, Journal of the ACM, 1992, Vol. 39, No. 2, pp. 328–376.
Fagin et al., 1995 – Fagin, R., Halpern, J., Moses, Y., Vardi, M. Reasoning about Knowledge, Cambridge: MIT Press, 1995. 544 pp.
Gerbrandy, 1999 – Gerbrandy, J. “Bisimulations on Planet Kripke”, PhD Thesis. 1999 [https://pure.uva.nl/ws/files/3354085/34702_Gerbrandy.pdf, accessed on 02.03.2022]
Halpern, Moses, 1985 – Halpern, J., Moses, Y. “A Guide to the Modal Logics of Knowledge and Belief”, in: Proceedings of the 9th International Joint Conference on Artiﬁcial intelligence. San Francisco: Morgan Kaufmann, 1985, pp. 480–490.
Halpern, Moses, 1990 – Halpern, J., Moses, Y. “Knowledge and Common Knowledge in a Distributed Environment”, Journal of the ACM, 1990, Vol. 37, No. 3, pp. 549–587.
Hayek, 1945 – Hayek, F. “The Use of Knowledge in Society”, The American Economic Review, 1945, Vol. 35, No. 4, pp. 519–530.
Hilpinen, 1977 – Hilpinen, R. “Remarks on Personal and Impersonal Knowledge”, Canadian Journal of Philosophy, 1977, Vol. 7, No. 1, pp. 1–9.
Meyer, van der Hoek, 1995 – Meyer, J., van der Hoek, W. Epistemic Logic for AI and Computer Science, Cambridge: Cambridge University Press, 1995. 372 pp.
Roelofsen, 2007 – Roelofsen, F. “Distributed Knowledge”, Journal of Applied NonClassical Logics, 2007, Vol. 17, No. 2, pp. 255–273.
van der Hoek et al., 1999 – van der Hoek, W., van Linder, B., Meyer, J. “Group Knowledge is not Always Distributed (neither is it Always Implicit)”, Mathematical social sciences, 1999, Vol. 38, No. 2, pp. 215–240.
van der Hoek, Meyer, 1992 – van der Hoek, W., Meyer, J. “Making Some Issues of Implicit Knowledge Explicit”, International Journal of Foundations of Computer Science, 1992, Vol. 3, No. 2, pp. 193–223.
Wang, Agotnes, 2013 – W´ang, Y., Agotnes, T. “Public Announcement Logic with Distributed Knowledge: Expressivity, Completeness and Complexity”, Synthese, Vol. 190, No. S1, pp. 135–162.