6月25～27日，由清华大学-阿姆斯特丹大学逻辑学联合研究中心、我院哲学系主办的第18届“理性与知识的理论研究（TARK）”国际会议在线上举行。

马斯特里赫特大学教授佩雷亚（Andrés Perea）主持开幕仪式，清华大学逻辑学联合研究中心主任刘奋荣出席活动并致辞。世界各地上百位研究员、教师以及学生参加会议。

佩雷亚教授主持

刘奋荣致词

考虑到与会者来自世界各地，时差不一，会议充分利用了网络化的便捷优势，采用了非常具有弹性的时间安排。每位接收论文的作者都有两次报告机会，而提问环节则放在了虚拟会议室中，供听众与报告人自由交流。借助gather.town平台，实现了更为实体化的云端会议，听众阅读海报、论文以及提问、社交都更加便捷。

Gather.town虚拟会议室

部分线上报告现场

会议邀请四位国际知名学者作特邀报告。加州大学戴维斯分校教授希珀（Burkhard Schipper）的报告题目是“无觉知的互动觉知（Interactive Awareness of Unawareness）”，主要提出了一种易于处理的语义来对无觉知的觉知推理进行建模，从而处理诸如“我发现可能存在一些我没有觉知的东西”等句子的确切含义。阿姆斯特丹大学逻辑、语言与计算研究所主任司麦慈（Sonja Smets）教授作了题为“学习别人所知道的（Learning What Others Know）”的报告，进一步扩展了认知逻辑框架，使主体对认知断言能够进行比较，从而刻画了主体的认知优势。澳大利亚国立大学教授斯蒂尔（Katie Steele）的报告题目为“理性和觉知增长的预期（Rationality and the Anticipation of Awareness Growth）”，讨论了在觉知增长与理性预期之间的关系。哈佛大学教授普罗卡恰（Ariel Procaccia）报告了“民主和对随机性的追求（Democracy and the Pursuit of Randomness）”，主要讨论公民集会中的抽签选拔如何确保其能反映一般人口特征，以及其如何确保公平的问题。

特邀报告嘉宾

特邀报告现场

“理性与知识的理论研究（TARK）”是关于理性与知识形式化推理这一跨学科问题的国际顶级会议，议题范围遍及计算机科学、人工智能、博弈论、决策理论、哲学、逻辑学、语言学和认知科学等各个领域。会议主题涵盖知识、信念、觉知和不确定性的语义模型、有限理性与资源有限推理、常识认知推理、认知逻辑认识博弈理论等。TARK会议从上世纪80年代开始，在世界各地每两年举行一次。本届TARK会议首次由中国大学主办，为期三天。