多Agent合作逻辑研究进展

• 作者: 宁正元 胡山立 詹青青 赖贤伟
• 来源期刊: 福建电脑
• 学科: 工学
• 关键词: 多Agent系统 模态逻辑 时序逻辑 交互时序逻辑 联盟逻辑
• 年，卷（期）: 2007,（11）
• 所属期刊栏目: 基金项目论文
• 页码范围: 3-4
• 页数: 2页
• 分类号: TP3
• 字数: 2656字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-2782.2007.11.002

摘要

多Agent合作逻辑(Cooperation Logics)的研究,最近几年以来得到了广泛的关注,是一个前沿研究课题.相关研究成果琳琅满目,其中ATL/ATL*和CL/ECL等开拓性的成果更是倍受瞩目.本文从浩繁的文献中理出交互时序逻辑序列和联盟逻辑序列这两大主线,综述多Agent合作逻辑的研究进展,并对其下一步研究给予展望.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	宁正元	福建农林大学计算机与信息学院	67	527	10.0	21.0
2	赖贤伟	福建农林大学计算机与信息学院	7	16	2.0	4.0
3	胡山立	福州大学数学与计算机科学学院	41	542	13.0	22.0
4	詹青青	福州大学数学与计算机科学学院	5	11	2.0	3.0