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.
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.
Fagin, R., Halpern, J., Moses, Y., and Vardi, M., 1995, Reasoning about Knowledge, Cambridge, MA: MIT Press.
Grice, P., 1989, Studies in the Way of Words, Cambridge, MA: Harvard University Press.
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.
Krasucki, P., Parikh, R., and Ndjatou, N., 1990, “Probabilistic knowledge and probabilistic common knowledge,” pp. 1–8 in ISMIS 90, Amsterdam: North Holland.
Lewis, D., 1969, Convention, A Philosophical Study, Cambridge, MA: Harvard University Press.
Parikh, P., 2001, The Use of Language, Stanford, CA: CSLI Publications.
Parikh, R., 1991, “Monotonic and non-monotonic logics of knowledge,” in Fundamenta Informatica special issue, Logics for Artificial Intelligence XV, 255–274.
Parikh, R., 1994, “Vagueness and utility: The semantics of common nouns,” Linguistics and Philosophy 17, 521–535.
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.
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.
van Rooy, R., 2001, “Utility, informativity and protocols,” Research Report.