12月25日来自筑波大学的金子守教授在三教206做了题为Epistemic Logic and Inductive Game Theory的报告。

博弈论可以看做是人们的内在精神世界和外在经验世界的相互影响。一方面，主体的预测是发生在其内在的精神世界中的，而基于主体的预测所作出的决策行为则反映了内在精神世界对外部经验世界的影响。另一方面，博弈中需要遵守的规则（博弈中的公共知识）则是通过主体在外部世界的经验，最终在其内在的精神世界中形成了一定的观念。

在考察主体的内在精神世界对外在经验世界的影响方面，Epistemic Logic可以帮助我们对此进行细致的分析。例如，博弈论中研究的Game包括这样两种类型：Solvable Game 和Unsolvable Game，其典型代表是Prisoner's Dilemma和Battle of the Sexes。但是在传统的博弈论语言中并不能将这两种Game进行形式化的区分。金教授通过扩充了的Epistemic Logic的语言（允许使用可数无穷的合取∧Φ和析取∨Φ），可以将博弈中主体要遵守的规则和博弈所要达到的目的进行完全形式的刻画。金教授还给出了该逻辑的一个公理化系统GLω，在这个公理化系统中可以证明在Prisoner's Dilemma中主体可以有确定的成功策略，而在Battle of the Sexes中没有确定的成功策略。通过这样的方式可以形式化的说明Solvable Game 和Unsolvable Game的不同。另外，在传统的博弈论中，主体关于博弈中的公共知识总是事先给定的，并不讨论这些公共知识是如何在主体的内在精神世界中形成的。金教授认为主体对于博弈中的公共知识是在外部世界的经验中逐渐形成的，这一点在过去没能引起足够的重视。金教授的Inductive Game Theory所关注的正是博弈中的公共知识是如何形成的问题。

最后，参加讲座的老师和同学与金子守教授讨论了GLω的可判定性以及Epistemic Logic在博弈论中的作用等问题。