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

• 作者: 朱晔 潘海玉 袁红娟 钱俊彦
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: 交互时态逻辑 计算树逻辑 并发博弈结构 模型检测 模糊逻辑
• 年，卷（期）: 2018,（12）
• 所属期刊栏目: 理论与算法
• 页码范围: 2033-2040
• 页数: 8页
• 分类号: TP301
• 字数: 7172字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.1807034

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	钱俊彦	桂林电子科技大学广西可信软件重点实验室	86	238	9.0	10.0
2	袁红娟	泰州学院计算机科学与技术学院	6	4	1.0	1.0
4	朱晔	泰州学院计算机科学与技术学院	22	12	2.0	3.0
5	潘海玉	桂林电子科技大学广西可信软件重点实验室	4	1	1.0	1.0