High Quality Content by WIKIPEDIA articles! Common knowledge is a special kind of knowledge for a group of agents. There is common knowledge of p in a group of agents G when all the agents in G know p, they all know that they know p, they all know that they all know that they know p, and so on ad infinitum. The concept was first introduced in the philosophical literature by David Kellogg Lewis in his study Convention (1969). It has been first given a mathematical formulation in a set-theoretical framework by Robert Aumann (1976). Computer scientists grew an interest in the subject of epistemic logic in general — and of common knowledge in particular — starting from the 1980s.There are numerous puzzles based upon the concept which have been extensively investigated by mathematicians such as John Conway.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.