共有知識
Aumann and Brandenburger (1995) によって、2 人ゲームでは合理性が共有知識であることはナッシュ均衡戦略のための認識論的条件としては不要であることがわかった。
計算機科学者は、分散システムについての議論のために認識論理(および共有知識)を含む言語を用いている。そのような体系は、簡単な命題認識論理よりも複雑な論理学に基づいている。それについては、Wooldridge Reasoning about Artificial Agents, 2000(認識演算子と時間演算子を含む 1 階論理を用いている)または van der Hoek et al. "Alternating Time Epistemic Logic" を見よ。
2007年の著書 The Stuff of Thought: Language as a Window into Human Nature でスティーブン・ピンカーは風刺にかかわる間接話法の分析のために共有知識の観念を用いた。
共有知識 (きょうゆうちしき、common knowledge) とは、エージェントの集団における特殊な知識のひとつ。エージェントの集団 G で p が共有知識であるとは、G に属するエージェント全員が p を知っていて、また「全員が p を知っている」ということを全員が知っていて、また「『全員が p を知っている』ということを全員が知っている」ということを全員が知っていて、というように際限なく続くときをいう。
この概念が哲学の文献においてはじめて導入されたのは、デイヴィド・ルイスの Convention (1969) においてであった。その数学的定式化は集合論の枠組みを用いてロバート・オーマンによってなされた。1976 年、計算機科学者が一般に認識論理の問題、なかんずく共有知識の問題に興味を強めていったのは 1980 年代であった。この概念にもとづくパズルは多数あり、ジョン・コンウェイをはじめとする数学者たちによって幅広く研究されてきた。