逸仙逻辑讲坛第二十期｜王以松：系统修复的最弱充分条件
On the weakest sufficient conditions for systems repair
第二十期
逸仙逻辑讲坛
题目：On the weakest sufficient conditions for systems repair
（系统修复的最弱充分条件）
主讲人：王以松 教授
贵州大学计算机科学与技术学院
主持人：沈榆平 副教授
中山大学哲学系
时 间：9月20日（周五）上午10:00
地 点：锡昌堂322室
主办方：中山大学逻辑与认知研究所
主讲人简介
王以松，贵州大学三级教授，贵州大学人工智能研究院负责人，2007年从贵州大学毕业获博士学位，香港科技大学和加拿大阿尔伯塔大学博士后，Annals of Mathematics and Artificial Intelligence 副编辑；曾获KR-2006 Ray Reiter最佳论文奖，指导学生获ILP-2016最佳学生论文；主持国家基金项目4项，其中面上项目3项，省部级项目多项，在AAAI、IJCAI、KR等国际会议和JAIR、TCS、TOCL、IEEE FS、AMAI、JCST、自动化学报、计算机研究与发展等发表学术论文50余篇，专著1部。
讲座摘要
The Calculus of Communicating Systems (CCS) is a prominent formal mathematical framework for describing communication behaviors of (nondeterministic) finite state systems, and Hennessy–Milner logic (HML) is a dynamic logic for characterizing properties of labeled transition systems. In general, such systems may require updates due to various reasons such as fixing bugs or adapting to new requirements. This talk concerns the problem of revising systems modeled in CCS under the inertial principle in order to respect new specifications. It requires that the system components remain unchanged unless necessary.
