福建电脑
福建電腦
복건전뇌
FUJIAN COMPUTER
2007年
11期
3-4
,共2页
赖贤伟%胡山立%宁正元%詹青青
賴賢偉%鬍山立%寧正元%詹青青
뢰현위%호산립%저정원%첨청청
多Agent系统%模态逻辑%时序逻辑%交互时序逻辑%联盟逻辑
多Agent繫統%模態邏輯%時序邏輯%交互時序邏輯%聯盟邏輯
다Agent계통%모태라집%시서라집%교호시서라집%련맹라집
多Agent合作逻辑(Cooperation Logics)的研究,最近几年以来得到了广泛的关注,是一个前沿研究课题.相关研究成果琳琅满目,其中ATL/ATL*和CL/ECL等开拓性的成果更是倍受瞩目.本文从浩繁的文献中理出交互时序逻辑序列和联盟逻辑序列这两大主线,综述多Agent合作逻辑的研究进展,并对其下一步研究给予展望.
多Agent閤作邏輯(Cooperation Logics)的研究,最近幾年以來得到瞭廣汎的關註,是一箇前沿研究課題.相關研究成果琳瑯滿目,其中ATL/ATL*和CL/ECL等開拓性的成果更是倍受矚目.本文從浩繁的文獻中理齣交互時序邏輯序列和聯盟邏輯序列這兩大主線,綜述多Agent閤作邏輯的研究進展,併對其下一步研究給予展望.
다Agent합작라집(Cooperation Logics)적연구,최근궤년이래득도료엄범적관주,시일개전연연구과제.상관연구성과림랑만목,기중ATL/ATL*화CL/ECL등개탁성적성과경시배수촉목.본문종호번적문헌중리출교호시서라집서렬화련맹라집서렬저량대주선,종술다Agent합작라집적연구진전,병대기하일보연구급여전망.
