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