论文部分内容阅读
多主体合作逻辑是多主体系统研究中关注的热点问题,也是近年来逻辑学与人工智能领域的一个前沿研究课题。国外学者对多主体合作逻辑的研究主要是围绕着联盟逻辑和交互时态逻辑两条线索展开,并在此基础上进行拓展,形成了联盟逻辑序列和交互时态逻辑序列;国内对多主体合作逻辑的研究尚处于起步阶段。学界对于联盟逻辑和交互时态逻辑研究已有一定的广度,但仍有待于进一步深化和完善;对联盟逻辑序列与交互时态逻辑序列的比较研究尚需深入展开;对多主体合作逻辑中模型检测的研究还比较薄弱;对非合作博弈中多主体合作逻辑的研究有待于推进。