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

摘要：

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

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

所属期刊栏目：12

分类号：TP301(计算技术、计算机技术)

资助基金：The National Natural Science Foundation of China under Grant Nos. 61672023, 61562015, 61673352;the Natural Science Key Foundation of Guangxi under Grant Nos. 2015GXNSFDA139038, 2018GXNSFDA138003;the Foundation of Guangxi Key Laboratory of Trusted Software under Grant No. kx201609;the High Level Innovation Team of Colleges and Universities in Guangxi and Outstanding Scholars Program Funding;the Foundation of Innovation Team of Guilin University of Electronic Technology;the Qing Lan Project of Jiangsu Universities;the Technology Support Project of Taizhou under Grant No. TS201634

在线出版日期：2019-01-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：2033-2040