Reasoning about knowledge
The logic of public announcements, common knowledge, and private suspicions
The logic of public announcements, common knowledge, and private suspicions
| Hi-index | 0.00 |
There are several situations in which common knowledge becomes important. Among them we have games, social behaviour, and natural language. In this paper we present a multi-agent framework in which the agent are able to use not only their own private knowledge bases bu also the common knowledge they share with other agents. This approach is based on Aumann structures and the language is a simplified version of full common knowledge. The restricted language retains enough expressive power as to be able to deal with the classical "muddy children" example while being relatively simple.