loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'04)
A Framework to Specify and Evaluate Coordination in MAS with Logic
Beijing, China
September 20-September 24
ISBN: 0-7695-2101-0
Xinjun Mao, National University of Defense Technology, China
Ji Wang, National Laboratory for Parallel and Distributed Processing, Changsha, China
Eric Yu, University of Toronto, Canada
In this paper we present a framework to specify and evaluate the coordinations in MAS. The framework draws on a MAS logic incorporating a number of temporal and dynamic operators, and has some important characteristics such as high-level, abstract, complete, and general-purpose. Based on the framework, the request/service cooperation models are studied and analyzed.
Citation:
Xinjun Mao, Ji Wang, Eric Yu, "A Framework to Specify and Evaluate Coordination in MAS with Logic," iat, pp.325-328, 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.