Multi-Agent Systems: A Theory Based on Organization and Communication Concepts
چکیده
This paper presents a theory for multi-agent systems based on communication concepts and organization concepts. The language of formulation is a first-order, multi-modal, linear-time logic. The underlying semantics of this language are labeled transition systems. An agent state is described by a triplet including beliefs, goals as communication concepts and roles as organization concepts. A transition consists of an execution step in the life-cycle of an agent. We illustrate our work with the well known prey/predator problem.