模糊交互时态逻辑的一些标记

来源：计算机科学与探索杂志2018年第12期北京时间：

作者：朱晔，袁红娟，钱俊彦，潘海玉

单位：1. 泰州学院 计算机科学与技术学院，江苏 泰州 2253002. 桂林电子科技大学 广西可信软件重点实验室，广西 桂林 541004

摘要：模糊并发博弈结构是一种可以对具有模糊不确定信息的开放系统进行建模和分析的工具，基于该模型的模糊交互时态逻辑的模型检测问题初步得到解决。首先通过将模糊交互时态逻辑的模型检测问题转化为有限个经典的交互时态逻辑的模型检测问题，从而可以利用经典的交互时态逻辑的模型检测算法来解决模糊交互时态逻辑的模型检测；研究了模糊交互时态逻辑语义的连续性问题，即模糊并发博弈结构发生微小变化时，模糊交互时态逻辑的语义是否也相应地发生微小的变化。

关键词：交互时态逻辑,计算树逻辑,并发博弈结构,模型检测,模糊逻辑