In this paper we present a simple model of communication. We assume that communication takes place between two agents. Each agent has a private and subjective knowledge state. The knowledge of both agents is partial, finite, and represented in a computational way.We investigate how ideas can be transferred from one agent to the other one, in spite of the subjective nature of the knowledge of both participants. Posing the problem in this way, it can be seen that mechanisms for context-dependent interpretation are a prerequisite for succesfull communication.
|Title of host publication||Types for Proofs and Programs (Proceedings International Workshop, TYPES'98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers)|
|Editors||T. Altenkirch, W. Naraschewski, B. Reus|
|Place of Publication||Berlin|
|Publication status||Published - 1999|
|Name||Lecture Notes in Computer Science|