Coordinating heterogeneous autonomous agents
Munindar P. Singh · NCSU Libraries Repository (North Carolina State University Libraries) · 1997
We address the problem of constructing multiagent systems by coordinating heterogeneous, autonomous agents, whose internal designs may not be fully known. We develop a customizable coordination service that (a) takes declarative specifications of the desired interactions, and (b) automatically enacts them. Our approach is based on temporal logic, and has a rigorous semantics and a naturally distributed implementation. We show how this approach provides a general unifying framework in which to formalize the coordination components of some recent approaches to multiagent system construction. Munindar Singh is supported by the NCSU College of Engineering, the National Science Foundation under grants IRI-9529179 and IRI-9624425, and IBM corporation. 1 Introduction Modern applications of computing arise most frequently in environments that are open, heterogeneous, distributed, dynamic, large, and with autonomous components. For these reasons, they require solutions that marry artificia...