Abstract
The notions of agent's behavior and fundamental knowledge for decision making are introduced. Then it is shown how mutual knowledge, i.e. knowledge of the form: agent i 1 knows that agent i 2 knows that ... tht agent i n knows that ... is used by the rational agents. This use is, following Wittgenstein (1958), regarded as meaning of this knowledge.
This work was supported by KBN grant No.210979101
My thanks are due to Professor J.Łoś for inspiration and many helpful discussions.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
L. Aiello, D. Nardi and M. Schaefer: Yet another solution to the three wisemen puzzle. In: Proc. of ISMIS'88, Z. Raś and L. Saitta (Eds.) (1988) 398–407
R. J. Aumann: Agreeing to Disagree. Annals of Statistics 4 (1976) 1236–1239
W.J. Clancey: Book Reviewof ref.5. Artificial Intelligence 50 (1991) 241–284
J. Doyle, H.J. Levesque and R.C. Moore: Panel: Logicality vs. Rationality. In: Proc. of the Second Conf. on Theoretical Aspects of Reasoning about Knowledge. Morgan Kaufmann (1988) 343–364
J. Doyle: Rationality and its Roles in Reasoning. In: Proc. AAAI-90 (1990) 1093–1100
R. Fagin, J. Halpern and M.Y. Vardi: A model-theoretic analysis of knowledge: preliminary report. In: Proc. IEEE Symposium on Foundations of Computer Science. (1984) 268–278
L. Gasser: Social conception of knowledge and action: DAI foundations and open system semantics. Artificial Intelligence 47 (1991) 107–138
E. M. Gerson: Scientific work and social worlds. Knowledge 4 (1977) 357–377
J.Y. Halpern and Y.O. Moses: Knowledge and Common Knowledge in a Distributed Enviroment. J. ACM 37(3) (1990) 549–587
C. Hewitt: Viewing control structures as patterns of passing messages. Artif. Intell. 8 (1977) 323–364
C. Hewitt: Open Information Systems Semantics for Distributed Artificial Intelligence. Artificial Intelligence 47 (1991) 79–106
J. Hintikka: Knowledge and Belief. Cornell University Press, Ithaca, New York, (1962)
K. Konolige: A first-order formalization of Knowledge and action for a multiagent planning system. Machine Intelligence 10 (1981)
S. Kraus and D. Lehmann: Knowledge, Belief and Time. In: Proc. 13th ICALP (L. Kott, ed.) Rennes, Springer, LNCS 226 (1986) 186–195
J. McCarthy: First-order theories of individual concepts of propositions. Machine Intelligence 9 (1979) 120–147
G. H. Mead: Mind, Self and Society. University of Chcago Press, IL, (1934)
R. Moore: Reasoning about Knowledge and Action. In: Proc. of IJCAI-83 (1983) 382–384
R. Moore: Reasoning about Knowledge and Action. SRI Int. Technical Note 337, Menlo Park, CA (1984)
I. Rosenfield: The Ivention of Memory: A New View of the Brain. Basic Books, New York (1988)
T. Winograd and F. Flores: Understanding Computers and Cognition. Albex, Norwood, NY (1986)
L. Wittgenstein. Philosophical Investigations. Basil Blackwell, Oxford (1958)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ambroszkiewicz, S. (1993). Mutual knowledge. In: Komorowski, J., Raś, Z.W. (eds) Methodologies for Intelligent Systems. ISMIS 1993. Lecture Notes in Computer Science, vol 689. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56804-2_48
Download citation
DOI: https://doi.org/10.1007/3-540-56804-2_48
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56804-9
Online ISBN: 978-3-540-47750-1
eBook Packages: Springer Book Archive