3月31日，哲学社会学学院托马斯·阿戈特尼斯教授以“Weak conjunctive closure in modal logic”（模态逻辑中的弱聚合）为题作学术报告。

托马斯教授介绍了模态逻辑的相关知识，指出模态逻辑可以应用于有关知识和信念问题的研究。他区分了四种不同类型的群体知识，包括everybody-knows群体知识、公共群体知识、分布式群体知识以及somebody-knows群体知识。

Everybody-knows群体知识是指群体中每一个人都知道的知识，公共群体知识是比everybody-knows知识更强的一类知识，不仅是群体中的每一个人都知道，而且每个人都知道其他人都知道。分布式群体知识是指群体内的成员作为一个整体所具有的知识，例如，群体成员A拥有“p→q”的知识，群体成员B拥有“p”的知识，则这个群体共同拥有“q”的知识。somebody-knows群体知识是指群体中部分成员具有的知识，例如，“警察知道杀人犯是谁”这个群体信念中，并不意味这每一个警察都知道凶手是谁，而是这个群体中的某些人知道凶手是谁。

在认知逻辑中，对于某种群体知识，如果群体中的每一个人都拥有，就成为一个常识；如果只是某个人知道，就不再是一个常识。因此，somebody-knows群体知识要弱于everybody-knows群体知识，但强于分布式群体知识。

托马斯教授提出了一种极小语言，其中引入了“某些人知道”的模态算子，并为这种语言提供了一种邻域语义，进而提出了“某些人知道”的逻辑，并证明了其可靠性和完全性。这种邻域语义、完全性及复杂性结果继承了逻辑的弱合取封闭原则、有界的“思维框架”。

点评环节，徐超副教授认为托马斯教授通过研究“某些人知道”的逻辑，从中发现了弱合取封闭原则，论证了不同强度的逻辑系统之间的关系。

答疑环节郭建萍教授对G={1,2}时，S_G p∧S_G q∧S_G r→S_G (p∧q)∨S_G (p∧r)∨S_G (q∧r)是否考虑到所有可能性提出疑问；周北海教授提出群体成员的不同身份角色对知识的影响问题是否予以考虑；魏屹东教授则对somebody-knows群体知识系统可否运用于人工智能研究领域提出询问。托马斯教授随后对问题逐一作出解答和回应。整场讲座持续一个半小时，反响热烈。

人物简介：

托马斯·阿戈特尼斯，国家级人才入选者，教育部A类专家。主要从事于多主体系统、认知逻辑、博弈论和社会选择、社会网络等交叉领域的研究。他在Artificial Intelligence, Synthese, Autonomous Agents and Multi-AgentSystems , Journal of Logic and Computation等国际顶尖杂志和AAMAS、IAAAI、TARK和ECA1、IJCAI等逻辑和人工智能领域国际权威会议上发表各类论文近100篇。曾获得挪威卑尔根大学学院“研究进步奖”，其论文曾在自治主体和多主体系统国际会议获得最佳论文奖。目前担任多主体系统欧洲联合会（EURAMAS）和挪威人工智能学会理事会理事，多主体系统可计算性逻辑（CLI-MA）国际大会和多主体系统中的逻辑（LAMAS）等知名国际会议的指导委员会委员。