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

作     者：朱晔 袁红娟 钱俊彦 潘海玉 ZHU Ye;YUAN Hongjuan;QIAN Junyan;PAN Haiyu

作者机构：泰州学院计算机科学与技术学院江苏泰州225300 桂林电子科技大学广西可信软件重点实验室广西桂林541004 

出 版 物：《计算机科学与探索》 (Journal of Frontiers of Computer Science and Technology)

年 卷 期：2018年第12卷第12期

页      面：2033-2040页

核心收录：

学科分类：08[工学] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家自然科学基金Nos.61672023 61562015 61673352 广西自然科学重点基金Nos.2015GXNSFDA139038 2018GXNSFDA138003 广西可信软件重点实验室基金No.kx201609 广西高等学校高水平创新团队及卓越学者计划基金 桂林电子科技大学创新团队基金 江苏高校"青蓝工程" 泰州市科技计划项目No.TS201634 

主　　题：交互时态逻辑 计算树逻辑 并发博弈结构 模型检测 模糊逻辑 

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