Skip to main content
Log in

Abstract

We investigate the semantics of messages, and argue that the meaning ofa message is naturally and usefully given in terms of how it affects theknowledge of the agents involved in the communication. We note thatthis semantics depends on the protocol used by the agents, and thus not only the message itself, but also the protocol appears as a parameter in the meaning. Understanding this dependence allows us to give formal explanations of a wide variety of notions including language dependence, implicature, and the amount of information in a message.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Baltag, A., Moss, L., and Solecki, S., 1998, “The logic of public announcements, common knowledge and private suspicions,” Technical Report #238, Indiana University Cognitive Science Program (earlier version appeared in TARK 1998).

  • Dretske, F., 1981, Knowledge and the Flow of Information, Cambridge, MA: MIT Press.

    Google Scholar 

  • Fagin, R., Halpern, J., Moses, Y., and Vardi, M., 1995, Reasoning about Knowledge, Cambridge, MA: MIT Press.

    Google Scholar 

  • Grice, P., 1989, Studies in the Way of Words, Cambridge, MA: Harvard University Press.

    Google Scholar 

  • Halpern, J. and Fagin, R., 1985, “A formal model of knowledge, action and communication in a distributed system,” pp. 224–236 in ACM PODC 1985.

  • Halpern, J. and Vardi, M., 1989, “The complexity of reasoning about knowledge and time,” Journal of Computer and System Sciences 38, 195–237.

    Google Scholar 

  • Krasucki, P., Parikh, R., and Ndjatou, N., 1990, “Probabilistic knowledge and probabilistic common knowledge,” pp. 1–8 in ISMIS 90, Amsterdam: North Holland.

    Google Scholar 

  • Lewis, D., 1969, Convention, A Philosophical Study, Cambridge, MA: Harvard University Press.

    Google Scholar 

  • Parikh, P., 2001, The Use of Language, Stanford, CA: CSLI Publications.

    Google Scholar 

  • Parikh, R., 1991, “Monotonic and non-monotonic logics of knowledge,” in Fundamenta Informatica special issue, Logics for Artificial Intelligence XV, 255–274.

    Google Scholar 

  • Parikh, R., 1994, “Vagueness and utility: The semantics of common nouns,” Linguistics and Philosophy 17, 521–535.

    Google Scholar 

  • Parikh, R., 1995, “Knowledge based computation (Extended abstract),” pp. 127–142 in Proceedings of AMAST-95, Montreal, Alagar and Nivat, eds., Lecture Notes in Computer Science, Vol. 936.

  • Parikh, R., 2003, “Levels of knowledge, games, and group action,” Research in Economics, to appear.

  • Parikh, R. and Parnes, M., 1972, “Conditional probability can be defined for arbitrary pairs of sets of reals,” Advances in Mathematics 9, 313–315.

    Google Scholar 

  • Parikh, R. and Ramanujam, R., 1986, “Knowledge, information and protocols (extended abstract),” manuscript.

  • Plaza, J., 1989, “Logics of public announcements,” in Proceedings 4th International Symposium on Methodologies for Intelligent Systems.

  • Skyrms, B., 1996, Evolution of the Social Contract, Cambridge, MA: Cambridge University Press.

    Google Scholar 

  • van Rooy, R., 2001, “Utility, informativity and protocols,” Research Report.

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Parikh, R., Ramanujam, R. A Knowledge Based Semantics of Messages. Journal of Logic, Language and Information 12, 453–467 (2003). https://doi.org/10.1023/A:1025007018583

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1025007018583

Navigation