活动预告 | 南京大学刘达欣副教授学术报告

刘达欣

南京大学人工智能学院

准聘副教授

2026年4月21日 15:00

浙江大学紫金港校区ZLAIRE实验室

本报告将提出一种用于实际因果推理的一阶认知模态逻辑CES (Causal Epistemic Situation Calculus)。不同于已有的需借助二阶逻辑公理化的形式体系，CES逻辑在一阶模态逻辑ES上，引入新的因果模态算子，这显著简化了动态领域中认知与因果关系的刻画。我将展示新的因果模态算子具有的一些性质，并展示一种新的针对因果模态的回归推理算子，该算子使得我们可以将关于因果模态的推理转化为经典一阶逻辑中的推理。CES逻辑支持AI智能体对叙事、假设及因果进行认知推理，这对设计负责任的AI系统具有重要价值。

刘达欣，国家级高层次青年人才(海外)。博士毕业于亚琛工业大学。毕业后于爱丁堡大学从事博士后研究。现为南京大学人工智能学院准聘副教授。研究兴趣包括行为推理、因果推理、信念推理、不确定性推理、机器人程序验证等。目前在人工智能领域的AAAI、IJCAI、KR、AAMAS等高水平会议，AIJ、JAIR、TKDE等一流期刊发表近20篇论文，曾获KR 2021最佳学生论文奖，长期担任AAAI, IJCAI, KR, AAMAS, TOCL等会议/期刊的PC成员或审稿人。主持或参与多项国家自然科学基金项目。