寄稿VCASIは2007年4月から2011年3月まで東京財団の事業として実施されました。ゲーム理論の概念は、プレイヤーの能力や属性に関する前提がある。前提が弱い均衡概念は、弱い言語で特徴づけできるはずだ。言語の強弱を比較するには、自然言語より論理式が適している。rationalizabilityを様相μ計算という様相論理で特徴づけし、rationalizability概念が前提とするプレイヤーの能力について考察する。Mu-Calculihttp://homepages.inf.ed.ac.uk/jcb/Research/MLH-bradstir.pdfさる2009年1月20日、東京財団において東京大学大学院の平井洋一氏(コンピュータ科学/論理学)をお招きし、VCASIセミナー「論理学的に見た、ゲーム理論のプレイヤー」が開催された。平井氏は、ゲーム理論の概念には、プレイヤーの能力や属性に関する前提があり、前提が弱い均衡概念は、弱い言語で特徴づけできるはずであるとする。言語の強弱を比較するには、自然言語より論理式が適しているため、Rationalizabilityを様相μ計算という様相論理で特徴づけし、rationalizability概念が前提とするプレイヤーの能力について考察した。このとき、プレイヤーの状態として、プレイヤーのアクションその状態のプレイヤーが可能だと考えるプレイヤーの状態の集合の2つだけがあれば、その状態がrationalizableか否かを決めることができる。Rationalizableなプレイヤーのアクションが、rationalizableなアクションとなるとした。注意:コメントは管理者の承認後表示されます。新しいコメントの投稿あなたのお名前:メール:このフィールドの内容は非公開にされ、公表されることはありません。