Abstract：
多Agent合作逻辑(Cooperation Logics)的研究,最近几年以来得到了广泛的关注,是一个前沿研究课题。相关研究成果琳琅满目,其中ATL/ATL*和CL/ECL等开拓性的成果更是倍受瞩目。本文从浩繁的文献中理出交互时序逻辑序列和联盟逻辑序列这两大主线,综述多Agent合作逻辑的研究进展,并对其下一步研究给予展望。
Keyword：
Reprint 's Address：
Source ：
福建电脑
Year： 2007
Issue： 11
Page： 3-4
Affiliated Colleges：
