A Framework to Specify and Evaluate Coordination in MAS with Logic

Xinjun Mao; Ji Wang; Eric Yu

doi:10.1109/IAT.2004.1342962

Previous
Next
Table of Contents

Proceedings. IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004)

A Framework to Specify and Evaluate Coordination in MAS with Logic

Year: 2004, Pages: 325-328

DOI Bookmark: 10.1109/IAT.2004.1342962

Authors

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

Abstract

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.

Like what you’re reading?

Already a member?

Get this article FREE with a new membership!