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

作者：***; 宁正元; 胡山立; 赖贤伟

来源：广西师范大学学报(自然科学版), 2008, (01): 154-157.

DOI：10.16088/j.issn.1001-6600.2008.01.040

• 交互时态逻辑
• 并发博弈结构
• 已映射模糊并发博弈结构
• 可能性分布
• 表达力 alternating-time temporal logic
• concurrent game structures
• mapped fuzzy concurrent game structures
• possibility distribution
• expressivity

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

• 单位
  计算机科学国家重点实验室; 福建农林大学