Common knowledge: shared intuitions and formal approaches

Abstract

Celem tego artykułu jest przedstawienie pojęcia wiedzy wspólnej (common knowledge) w zakresie: od czysto intuicyjnych sformułowań do formalnych definicji. Pojęcie wiedzy wspólnej zostanie na wstępie przybliżone szeregiem przykładów. Następnie omówione zostanie podejście hierarchiczne – najpowszechniej stosowane do formalnego opisu wiedzy wspólnej. Jego dodatkową zaletą jest względna łatwość, z jaką poddaje się opisowi z wykorzystaniem precyzyjnego aparatu pojęciowego zaczerpniętego z logiki i nauk ścisłych. W dalszej części przedstawione zostało twierdzenie Aumanna – No Disagreement Theorem, które przyczyniło się w znacznym stopniu do zainteresowania pojęciem common knowledge ze strony badaczy z dziedziny nauk ekonomicznych, a następnie społecznych.Na zakończenie artykułu zasygnalizowane zostały wybrane z rozlicznych zastosowań pojęcia wiedzy wspólnej, ze szczególnym uwzględnieniem teorii gier, jako „dyscypliny rodzimej” dla omawianego pojęcia. Mowa będzie o roli wiedzy wspólnej w standardowych technikach poszukiwania rozwiązania gry.