多Agent合作逻辑研究进展
摘要
多Agent合作逻辑(Cooperation Logics)的研究,最近几年以来得到了广泛的关注,是一个前沿研究课题。相关研究成果琳琅满目,其中ATL/ATL*和CL/ECL等开拓性的成果更是倍受瞩目。本文从浩繁的文献中理出交互时序逻辑序列和联盟逻辑序列这两大主线,综述多Agent合作逻辑的研究进展,并对其下一步研究给予展望。
出处
《福建电脑》
2007年第11期3-4,共2页
Journal of Fujian Computer
基金
国家自然科学基金资助项目(60573076)
参考文献9
-
1Marc .Pauly.Logic for Social Software[]..2001
-
2W.van der Hoek,W.Jamroga,and M.Wooldridge.A Logic for Strate-gic Reasoning[].Proceedings of the Fourth International Joint Conferenceon Autonomous Agents and Multi-Agent Systems(AAMAS-).2005
-
3M.Wooldridge,W.van der Hoek.On obligations and normative ability:towards a logical analysis of the social contract[].Journal of Applied Logic.2005
-
4L.Sauro,J.Gerbrandy,W.van der Hoek,and M.Wooldridge.Reason-ing about action and cooperation[].Proceedings of the Fifth InternationalJoint Conference on Autonomous Agents and Multi-Agent Systems(AA-MAS-).2006
-
5Wojciech Jamroga,Wiebe van der Hoek,and Michael Wooldridge.In-tentions and Strategies in Game-Like Scenarios[].Progress in Artificial Intelligence:Proceedings of EPIA.2005
-
6Thomas?gotnes,Wiebe van der Hoek,Juan A.Rodriguez-Aguilar,Carles Sierra,and Michael Wooldridge.On the Logic of Normative Sys-tems[].Proceedings of the Twentieth International Joint Conference on Artificial Intelligence(IJCAI ).2007
-
7Thomas?gotnes,Michael Wooldridge,and Wiebe van der Hoek.Quan-tified Coalition Logic[].Proceedings of the Twen-tieth International Joint Conference on Artificial Intelligence(IJCAI ).2007
-
8R. Alur,T.A. Henzinger,and O. Kupferman Kupferman.Alternating-time temporal logic[]..2002
-
9Wiebe van der Hoek and Michael Wooldridge.On the logic of cooperation and propositional control[].Artificial Intelligence.2005
-
1赖贤伟,胡山立.多Agent合作逻辑中的动作与意图[J].计算机研究与发展,2006,43(z1):41-45. 被引量：2
-
2聂剑锋,黄理灿.提高支持QoS的Web服务选择效率的新方法[J].计算机工程与设计,2010,31(19):4161-4164.
-
3缪毅,张福才.微机逻辑序列发生/检测适配卡的设计与实现[J].无线电工程,1991,21(5):14-17.
-
4林柏钢.一种可操作的N≥5开关函数化简问题[J].福州大学学报（自然科学版）,1996,24(1):43-49.
-
5佟雷,邵培南,凌杨,李建军.嵌入式计算机数字化仿真测试环境设计[J].计算机工程,2011,37(S1):395-397. 被引量：2
-
6凌杨,邵培南,佟雷,李建军.基于数字化仿真环境的嵌入式软件测试方法[J].计算机工程,2011,37(S1):49-51. 被引量：7
-
7赖贤伟,胡山立,宁正元,王秀丽.强弱例外下的交互时态逻辑[J].计算机应用,2008,28(11):2874-2876.
-
8王秀丽,宁正元,胡山立,赖贤伟.模糊交互时态逻辑及其语义结构[J].广西师范大学学报（自然科学版）,2008,26(1):154-157. 被引量：2
-
9张晖,秦亚娟,张宏科.移动IPv6快速切换的性能分析[J].铁道学报,2008,30(3):46-50. 被引量：1
-
10吴萍,陈意云,张健.并发Java程序同步操作的有效删除[J].软件学报,2005,16(10):1708-1716. 被引量：2
