Handbook of logic in computer science (vol. 2)
Communication Contexts: a Pragmatic Approach to Information Exchange
TYPES '94 Selected papers from the International Workshop on Types for Proofs and Programs
| Hi-index | 0.00 |
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.