多Agent合作逻辑研究进展 |
| |
引用本文: | 赖贤伟,胡山立,宁正元,詹青青.多Agent合作逻辑研究进展[J].福建电脑,2007(11):3-4. |
| |
作者姓名: | 赖贤伟 胡山立 宁正元 詹青青 |
| |
作者单位: | 1. 福建农林大学,计算机与信息学院,福建,福州,350002 2. 福州大学,数学与计算机科学学院,福建,福州,350002 |
| |
基金项目: | 国家自然科学基金资助项目(60573076) |
| |
摘 要: | 多Agent合作逻辑(Cooperation Logics)的研究,最近几年以来得到了广泛的关注,是一个前沿研究课题。相关研究成果琳琅满目,其中ATL/ATL*和CL/ECL等开拓性的成果更是倍受瞩目。本文从浩繁的文献中理出交互时序逻辑序列和联盟逻辑序列这两大主线,综述多Agent合作逻辑的研究进展,并对其下一步研究给予展望。
|
关 键 词: | 多Agent系统 模态逻辑 时序逻辑 交互时序逻辑 联盟逻辑 |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
|