2026年4月21日下午，浙江大学董氏文史哲青年学术沙龙在紫金港校区蒙民伟楼307室顺利举行。本次沙龙特邀南京大学人工智能学院准聘副教授刘达欣，作题为“一种面向实际因果的一阶认知模态逻辑”的专题学术报告。来自逻辑学、人工智能、哲学等领域的师生到场聆听并参与交流。
刘达欣博士是国家级高层次青年人才（海外），博士毕业于德国亚琛工业大学，后于英国爱丁堡大学从事博士后研究，现为南京大学人工智能学院准聘副教授。其研究兴趣涵盖行为推理、因果推理、信念推理、不确定性推理及机器人程序验证等领域，已在AAAI、IJCAI、KR、AAMAS等高水平会议及AIJ、JAIR、TKDE等一流期刊发表论文近20篇，曾荣获KR2021最佳学生论文奖，并长期担任多个顶级会议与期刊的PC成员或审稿人，主持或参与多项国家自然科学基金项目。
报告中，刘达欣博士提出了一种用于实际因果推理的新型一阶认知模态逻辑——CES（Causal Epistemic Situation Calculus）。他指出，不同于已有形式体系需借助二阶逻辑公理化，CES逻辑在一阶模态逻辑ES的基础上引入新的因果模态算子，显著简化了动态领域中认知与因果关系的刻画。刘博士详细展示了该因果模态算子所具有的若干良好性质，并介绍了一种新颖的因果模态回归推理算子。该算子能够将关于因果模态的推理问题转化为经典一阶逻辑中的推理问题，从而提升计算可行性与表达力。
本次沙龙由浙江大学董氏文史哲研究基金支持，旨在推动文史哲与理工学科的交叉对话，激发青年学者的创新思维。活动在浓厚的学术氛围中圆满落幕。
