讲座内容简介：

Refinement relations, such as trace containment, simulation preorder and their alternating versions, have been successfully applied in formal verification of concurrent systems. Recently, trace containment and simulation preorder have been adopted and developed in fuzzy systems, but the generalization of their alternating versions to fuzzy systems has not been investigated. To satisfy the need for modeling and analyzing fuzzy systems, this report proposes two types of refinement relations called fuzzy alternating trace containment and fuzzy alternating simulation preorder, based on fuzzy concurrent game structures (FCGSs) under the Gödel semantics. These two fuzzy notions inherit properties from  the corresponding classical setting. For example, fuzzy alternating simulation preorder for finite-state FCGSs can be computed in polynomial time, fuzzy alternating simulation preorder is a fuzzy subset of fuzzy alternating trace containment, and both relations can be logically characterized in terms of fuzzy version of alternating-time temporal logic. These properties make the theory developed here be suitable for the modeling and verification of fuzzy systems.

讲座人简介：

潘海玉，桂林电子科技大学副教授，硕士生导师。2009年毕业于浙江理工大学，获得工学硕士学位；2012毕业于华东师范大学，获得博士学位；2013-2017年在威廉希尔中文网站登录博士后流动站工作。现任中国计算机学会理论计算机专委会执行委员、中国计算机学会形式化方法专委会执行委员、中国人工智能学会离散智能计算专委会委员、中国逻辑学会非经典逻辑与计算专委会委员和中国系统工程学会模糊数学与模糊系统专委会委员。研究方向为形式化方法、模糊逻辑。负责主持国家自然科学基金面上项目、国家自然科学基金地区项目、中国博士后基金、广西自然科学基金面上项目、广西可信软件重点实验室开放基金。以第一作者身份在IEEE Transactions on Fuzzy Systems，Fuzzy Sets and Systems，International Journal of Approximate Reasoning，Theoretical Computer Science，Fundamenta Informaticae等国内外重要学术刊物和国际会议发表论文20余篇，其中中国计算机学会推荐国际学术刊物上发表文章9篇，SCI收录9篇，EI收录15篇。