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

Fuzzy Alternating-time Temporal Logic and Its Semantic Structures

作　　者：王秀丽[1] 宁正元[1] 胡山立[2] 赖贤伟[1] 

机构地区：[1]福建农林大学计算机与信息学院,福建福州350002 [2]福州大学数学与计算机科学学院

出　　处：《广西师范大学学报（自然科学版）》2008年第1期154-157,共4页Journal of Guangxi Normal University:Natural Science Edition

基　　金：国家自然科学基金资助项目(60373079,60573076);福建省自然科学基金资助项目(2006J0299)

摘　　要：Alur等人建立的交互时态逻辑(ATL*)是一种重要的多Agent合作逻辑,它对计算树逻辑(CTL*)进行了合作算子拓展,然而它缺乏对不确定时态信息的刻画。通过考察模糊时态事件和模糊时态状态、描述相对时间来改进并发博弈结构,并给出模糊并发博弈结构;把模糊并发博弈结构的若干要件从相对时间域到绝对时间域进行映射,给出已映射模糊并发博弈结构;建立了模糊交互时态逻辑(FATL*),给出其语法,在已映射模糊并发博弈结构下给出其语义;阐述了FATL*的表达力比ATL*强。By introducing cooperation operators into computing tree logic （CTL ＊ ）,alternating-time temporal logic （ATL ＊ ） which is an important kind of multi-agent cooperation logics was developed by Alur et al. However,temporal information containing uncertainty was not described in ATL ＊. Research is carried out to address this problem. By analyzing fuzzy temporal events,fuzzy temporal states,and describing relative time, concurrent game structures are extended. Based on this new semantic structure, fuzzy alternating-time temporal logic （FATL ＊ ） is developed. It is shown that FATL ＊ is more expressive than ATL ＊.

关 键 词：交互时态逻辑 并发博弈结构 已映射模糊并发博弈结构 可能性分布 表达力 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]