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