共有知識
共有知識 (きょうゆうちしき、common knowledge) とは、エージェントの集団における特殊な知識のひとつ。エージェントの集団 "G" で "p" が共有知識であるとは、"G" に属するエージェント全員が "p" を知っていて、また「全員が "p" を知っている」ということを全員が知っていて、また「『全員が "p" を知っている』ということを全員が知っている」ということを全員が知っていて、というように際限なく続くときをいう。
この概念が哲学の文献においてはじめて導入されたのは、デイヴィド・ルイスの "Convention" (1969) においてであった。その数学的定式化は集合論の枠組みを用いてロバート・オーマンによってなされた。1976 年、計算機科学者が一般に認識論理の問題、なかんずく共有知識の問題に興味を強めていったのは 1980 年代であった。この概念にもとづくパズルは多数あり、ジョン・コンウェイをはじめとする数学者たちによって幅広く研究されてきた。