模糊交互时态逻辑及其语义结构

• 作者: 宁正元 王秀丽 胡山立 赖贤伟
• 来源期刊: 广西师范大学学报（自然科学版）
• 学科: 工学
• 关键词: 交互时态逻辑 并发博弈结构 已映射模糊并发博弈结构 可能性分布 表达力
• 年，卷（期）: 2008,（1）
• 页码范围: 154-157
• 页数: 4页
• 分类号: TP18
• 字数: 2850字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-6600.2008.01.038

摘要

Alur等人建立的交互时态逻辑(ATL,*)是一种重要的多Agent合作逻辑,它对计算树逻辑(CTL *)进行了合作算子拓展,然而它缺乏对不确定时态信息的刻画.通过考察模糊时态事件和模糊时态状态、描述相对时间来改进并发博弈结构,并给出模糊并发博弈结构;把模糊并发博弈结构的若干要件从相对时间域到绝对时间域进行映射,给出已映射模糊并发博弈结构;建立了模糊交互时态逻辑(FATL *),给出其语法,在已映射模糊并发博弈结构下给出其语义;阐述了FATL * 的表达力比ATL *强.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	宁正元	福建农林大学计算机与信息学院	67	527	10.0	21.0
2	胡山立	福州大学数学与计算机科学学院	21	205	8.0	14.0
4	赖贤伟	福建农林大学计算机与信息学院	7	16	2.0	4.0
5	王秀丽	福建农林大学计算机与信息学院	20	87	6.0	8.0