多Agent合作逻辑研究进展  

作　　者：赖贤伟[1] 胡山立[2] 宁正元[1] 詹青青[2] 

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

出　　处：《福建电脑》2007年第11期3-4,共2页Journal of Fujian Computer

基　　金：国家自然科学基金资助项目(60573076)

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

关 键 词：多AGENT系统 模态逻辑 时序逻辑 交互时序逻辑 联盟逻辑 

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