一、讲座题目
望岳·海外名师论坛第二十期
二、主讲人
Andreas Herzig
三、主讲人简介
Andreas Herzig is a CNRS researcher (Directeur de Recherches CNRS) in the Logic, Interaction, Language, and Computation Group (LILaC) of IRIT at Université Paul Sabatier. He was the head of IRIT's AI Department (2009-2020) and of its LILaC team (2000 to 2005). He is on the Scientific Board of the CNRS GDR RADIA (formerly GDR IA; 2016-) and on the executive board of the CIMI excellence lab (2024-). He was on the Scientific Board of the CNRS Institute for Information Sciences and Technologies (INS2I) (2014-2018). He is an EurAI Fellow. He is the editor-in-chief of the Journal Applied Non-Classical Logics. He is an associated editor of Artificial Intelligence and a member of the editorial Board of the J. of Philosophical Logic (JPL). He served and serves on numerous program committees.
四、讲座简介
In multi-agent planning tasks agents may have false beliefs about the world and about other agents that they may have to revise when they learn about the occurrence of actions. We introduce a simple specification language that is based on a lightweight fragment of an epistemic-doxastic logic and that includes ontic, observation, and communication actions. It accounts for well-known false-belief tasks such as the Sally-Anne Task. It leads to an epistemic planning formalism that is expressive enough to model second-order false-belief tasks, yet has the same computational complexity as classical planning.
五、主持人
小艾电竞-电竞游戏排行
哲学系 王轶教授
六、讲座时间
2026年4月29日（星期三）15：00——17：00
七、讲座地点
山东大学中心校区知新楼A1618
