Title :
A framework to specify and evaluate coordination in MAS with logic
Author :
Mao, Xinjun ; Wang, Ji ; Yu, Eric
Author_Institution :
Dept. of Comput. Sci., National Univ. of Defense Technol., China
Abstract :
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.
Keywords :
formal logic; formal specification; multi-agent systems; MAS coordination evaluation; MAS coordination specification; MAS logic; dynamic operators; request-service cooperation models; temporal operators; Computer science; Distributed processing; Information systems; Internet; Laboratories; Logic; Multiagent systems; Protocols; Speech processing; TCPIP;
Conference_Titel :
Intelligent Agent Technology, 2004. (IAT 2004). Proceedings. IEEE/WIC/ACM International Conference on
Print_ISBN :
0-7695-2101-0
DOI :
10.1109/IAT.2004.1342962
