Computing with Common Knowledge

R. Wehbe (Switzerland)


Epistemic Logic Common Knowledge Multi-Agent Sys tems


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 ap proach is based on Aumann structures and the language is a simplified version of full common knowledge. The re stricted language retains enough expressive power as to be able to deal with the classical “muddy children” example while being relatively simple 1 .

Important Links:

Go Back