4月17日晚，荷兰阿姆斯特丹大学ILLC（逻辑，语言和计算研究所）副教授亚历山德鲁·巴塔赫（Alexandru Baltag）做客清华逻辑线上研讨第七讲，发表题为“归纳学习的逻辑”的报告。

巴塔赫基于他与Nina Gierasimczuk、Aybuke Ozgun、Ana Lucia Vargas和Sonja Smets最新的研究成果，提出了两种从连续观察中推理归纳学习的过程的逻辑。这一形式化工作结合了知识论、形式学习理论、动态认知逻辑和子集空间逻辑的思想。在语义上，相交空间的点解释为可能世界，其邻域解释为观察或“信息状态”， AGM学习者基于信息状态做出预测。在语法层面，他使用动态观察算子，以及学习或“信念”算子来扩展子集空间逻辑。他给出了完整的公理化系统，并使用它来刻画知识，信念，可知性和可学习性等概念。

研讨会由石辰威博士主持，清华校内外师生50余人参加，在热烈的线上讨论中落下帷幕。清华逻辑与海外学者将继续坚持开办线上研讨会，稳定有序的推进科研工作，共克时艰。

系列报告内容已在清华学堂在线推出，并不断更新中。

巴塔赫，荷兰阿姆斯特丹大学ILLC（逻辑，语言和计算研究所）副教授，研究兴趣包括但不限于以下主题：模态逻辑、动态逻辑、认知逻辑、时态逻辑；多主体信息流和信息融合模型；量子逻辑与量子信息流；代数、非良基集、全集理论、自我指涉模型、循环性模型和不动点模型；博弈论中的理性与行为；形式认识论、信息哲学和科学哲学。