| 模糊交互时态逻辑及其语义结构 |
| |
| 引用本文： | 王秀丽,宁正元,胡山立,赖贤伟.模糊交互时态逻辑及其语义结构[J].广西师范大学学报(自然科学版),2008,26(1):154-157. |
| |
| 作者姓名： | 王秀丽 宁正元 胡山立 赖贤伟 |
| |
| 作者单位： | 1. 福建农林大学,计算机与信息学院,福建,福州,350002
2. 福州大学,数学与计算机科学学院,福建,福州,350002;中国科学院,计算机科学重点实验室,北京,100080 |
| |
| 基金项目： | 国家自然科学基金
,
福建省自然科学基金 |
| |
| 摘 要： | Alur等人建立的交互时态逻辑（ATL ＊）是一种重要的多Agent合作逻辑，它对计算树逻辑（CTL ＊）进行了合作算子拓展，然而它缺乏对不确定时态信息的刻画。通过考察模糊时态事件和模糊时态状态、描述相对时间来改进并发博弈结构，并给出模糊并发博弈结构；把模糊并发博弈结构的若干要件从相对时间域到绝对时间域进行映射，给出已映射模糊并发博弈结构；建立了模糊交互时态逻辑（FATL ＊），给出其语法，在已映射模糊并发博弈结构下给出其语义；阐述了FATL ＊的表达力比ATL ＊强。
|
| 关 键 词： | 交互时态逻辑 并发博弈结构 已映射模糊并发博弈结构 可能性分布 表达力 |
| 文章编号： | 1001-6600(2008)01-0154-04 |
| 修稿时间： | 2008年1月15日 |
Fuzzy Alternating-time Temporal Logic and Its Semantic Structures |
| |
| WANG Xiu-li,NING Zheng-yuan,HU Shan-li,LAI Xian-wei.Fuzzy Alternating-time Temporal Logic and Its Semantic Structures[J].Journal of Guangxi Normal University(Natural Science Edition),2008,26(1):154-157. |
| |
| Authors: | WANG Xiu-li NING Zheng-yuan HU Shan-li LAI Xian-wei |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
