报告题目：Fuzzy Alternating Refinement Relations Under the Gödel Semantics
报告人: 潘海玉 桂林电子科技大学副教授
讲座日期：2021-10-21
讲座时间：16:30
报告地点：腾讯会议267941889
主办单位：数学与统计学院
讲座人简介：
潘海玉，桂林电子科技大学副教授，硕士生导师。2009年毕业于浙江理工大学，获得工学硕士学位；2012毕业于华东师范大学，获得博士学位；2013-2017年在伟德国际1946源于英国博士后流动站工作。 现任中国计算机学会理论计算机专委会执行委员、中国计算机学会形式化方法专委会执行委员、中国人工智能学会离散智能计算专委会委员、中国逻辑学会非经典逻辑与计算专委会委员和中国系统工程学会模糊数学与模糊系统专委会委员。研究方向为形式化方法、模糊逻辑。负责主持国家自然科学基金面上项目、国家自然科学基金地区项目、中国博士后基金、广西自然科学基金面上项目、广西可信软件重点实验室开放基金。以第一作者身份在IEEE Transactions on Fuzzy Systems，Fuzzy Sets and Systems，International Journal of Approximate Reasoning，Theoretical Computer Science，Fundamenta Informaticae等国内外重要学术刊物和国际会议发表论文20余篇。
讲座简介：
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 theGö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.
